chiark / gitweb /
prioq: never shuffle identical entries
authorDavid Herrmann <dh.herrmann@gmail.com>
Tue, 29 Sep 2015 18:41:29 +0000 (20:41 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 29 Mar 2017 08:45:10 +0000 (10:45 +0200)
Skip shuffling identical entries in shuffle_up(), just like we already do
in shuffle_down().


No differences found