Skip to content

move UNINLINED_FORMAT_ARGS to pedantic#9728

Merged
bors merged 1 commit intorust-lang:masterfrom
dswij:uninlined-fargs-pedantic
Oct 27, 2022
Merged

move `UNINLINED_FORMAT_ARGS` to pedantic#9728
bors merged 1 commit intorust-lang:masterfrom
dswij:uninlined-fargs-pedantic

Commits

Commits on Oct 27, 2022