Chris Vest d660706588 Fix a bug in LongPriorityQueue internal remove (#10832) ... Motivation: We rely on this functionality in PoolChunk, and a bug was caught by a non-deterministic test failure Modification: Went back to the Algorithms book, and reimplemented remove() the way it was meant to. Result: No test failures after 200.000 runs, so we have some confidence the code is correct now.		2020-12-02 13:06:34 +01:00
..
src	Fix a bug in LongPriorityQueue internal remove (#10832)	2020-12-02 13:06:34 +01:00
pom.xml	Use http in xmlns URIs to make maven release plugin happy again (#10788)	2020-11-10 10:51:05 +01:00