Skip to content

Fix uninlined_format_args in stable_mir#131733

Merged
bors merged 1 commit intorust-lang:masterfrom
practicalrs:fix_uninlined_format_args
Oct 15, 2024
Merged

Fix uninlined_format_args in stable_mir#131733
bors merged 1 commit intorust-lang:masterfrom
practicalrs:fix_uninlined_format_args

Commits

Commits on Oct 15, 2024