Han Mertens 32a20f4433 Change rebuild heuristic in BinaryHeap::append
See #77433 for why the new heuristic was chosen.

Fixes #77433
2021-01-15 21:50:05 +01:00
..
2021-01-04 16:20:08 +00:00
2021-01-07 16:16:36 +09:00