Commit bababe10724c27b2cbb09bf25e7dcf4aeea07588

Behdad Esfahbod 2022-07-21T10:25:27

[subst/SingleSubstFormat1] Rewrite nicer