fix stale comments left over from ed3711e#152823
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Feb 19, 2026
Merged
fix stale comments left over from ed3711e#152823rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom