Skip to content

Comments

fix stale comments left over from ed3711e#152823

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
Zeromemer:fix-stale-comments
Feb 19, 2026
Merged

fix stale comments left over from ed3711e#152823
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
Zeromemer:fix-stale-comments

Commits

Commits on Feb 18, 2026