Avoid unconditional make_heap for priority_queue::push_range - #4025
Merged
Stephan T. Lavavej (StephanTLavavej) merged 15 commits intoSep 21, 2023
Merged
make_heap for priority_queue::push_range - #4025