Commit a7fee43cefce95097ba46591090395a3c882741c

Behdad Esfahbod 2022-11-23T17:46:32

[priority-queue] Minor micro-optimize