Skip to content

Fix comment about placeholders#153172

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
jdonszelmann:placeholder-comment
Feb 28, 2026
Merged

Fix comment about placeholders#153172
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
jdonszelmann:placeholder-comment

Commits

Commits on Feb 27, 2026