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 /po | |
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 'po')
0 files changed, 0 insertions, 0 deletions