Chris Vest d2e16fb621 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:00 +01:00
..
src	Fix a bug in LongPriorityQueue internal remove (#10832)	2020-12-02 13:06:00 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2020-11-11 05:47:51 +00:00