Commit 4ab94443bbe80a354daa2d94e496c13f096501ad

Behdad Esfahbod 2022-01-02T11:26:45

[metrics] Ouch. Fix slant code