Commit 69b41f92ec97e3c6822541a96daea66258eba637

Behdad Esfahbod 2022-11-18T17:04:34

[vector] Simplify shift_down_vector() Compiler is smarter than I am.