Skip to content

Revert #159844 - #160468

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:revert-159844
Aug 4, 2026
Merged

Revert #159844#160468
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:revert-159844