Skip to content

Fix missing leading space in suggestion#117395

Merged
bors merged 1 commit intorust-lang:masterfrom
gurry:117380-wrong-parent-sugg
Oct 30, 2023
Merged

Fix missing leading space in suggestion#117395
bors merged 1 commit intorust-lang:masterfrom
gurry:117380-wrong-parent-sugg

Commits

Commits on Oct 30, 2023