Markus Mäkelä 8c03b626c4
Make users diagnostic deterministic
The output from Users::diagnostic is now ordered by first inserting the
usernames into a std::set.
2018-09-10 11:21:06 +03:00
..
2018-09-10 11:21:06 +03:00
2018-09-09 22:26:19 +03:00
2018-09-10 11:21:06 +03:00
2018-06-25 10:07:52 +03:00
2017-01-16 10:56:33 +02:00