prio-queue: use cascade-down sift for faster extract-min#2132

spkrka wants to merge 1 commit into

gitgitgadget:mastergitgitgadget/git:masterfrom

spkrka:cascade-sift-downspkrka/gitgitgadget-git:cascade-sift-downCopy head branch name to clipboard