1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-14 05:36:30 +02:00
Files
php-phpbb/phpBB/phpbb
Marc Alexander 0de1d65804 [ticket/12742] Remove unneeded sort of users
It doesn't matter which user will get the notification first so we shouldn't
sort the users array.

PHPBB3-12742
2014-08-09 12:49:32 +02:00
..
2014-08-03 07:12:34 +03:00
2014-08-07 15:44:36 +02:00
2014-06-10 11:47:43 +02:00