diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-02-19 14:15:55 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-02-19 14:55:40 +0100 |
| commit | ac0a8505ceb817e33011ff80f8585b199896b9c4 (patch) | |
| tree | 2f524439493241ccb98e442bd3974597261b36e4 /misc | |
| parent | 0f84a74536e404f707c4f4e370efbaad8d12b89a (diff) | |
bug: Make message priority queue stable
This change fixes the bug where the insertion order into the message
queue was not guaranteed for messages arriving at the same time, causing
some non-deterministic behaviour.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions