Skip to content

additional changes for issue-144595#157235

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
bb1yd:improve-colon-suggestion
Jun 2, 2026
Merged

additional changes for issue-144595#157235
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
bb1yd:improve-colon-suggestion

Commits

Commits on Jun 2, 2026