Adjust release notes for post-merge feedback#155266
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Apr 16, 2026
Merged
Adjust release notes for post-merge feedback#155266rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom