Skip to content

Require a colon in //@ normalize-*: test headers#126777

Merged
bors merged 2 commits intorust-lang:masterfrom
Zalathar:normalize-colon
Jul 11, 2024
Merged

Require a colon in `//@ normalize-*:` test headers#126777
bors merged 2 commits intorust-lang:masterfrom
Zalathar:normalize-colon

Commits

Commits on Jul 11, 2024