Commit 491f2968cd964c14c86642c5c881be5e16f12d62

Behdad Esfahbod 2023-05-01T15:58:57

[gvar] Micro-optimize We don't need the flag in the case of apply_to_all.