Commit 8704d73213da2294281687ecd7a40d408e9bf26a

Behdad Esfahbod 2023-07-10T18:08:13

[priority-queue] Inline a couple more