diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2015-09-29 20:41:29 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2015-09-29 20:55:24 +0200 |
| commit | 8a9d23e4462aa19a17a3de463ff8e408656057af (patch) | |
| tree | 94ebdbd0d922439d0398c7075cc2e502acfae3ad /LICENSE.GPL2 | |
| parent | 9dc5db34adbd6fa3d2ac08d9610d401ba69cde93 (diff) | |
prioq: never shuffle identical entries
Skip shuffling identical entries in shuffle_up(), just like we already do
in shuffle_down().
Diffstat (limited to 'LICENSE.GPL2')
0 files changed, 0 insertions, 0 deletions