allow deprecated(since = "CURRENT_RUSTC_VERSION")#152488
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Feb 12, 2026
Merged
allow deprecated(since = "CURRENT_RUSTC_VERSION")#152488rust-bors[bot] merged 1 commit intorust-lang:mainfrom
deprecated(since = "CURRENT_RUSTC_VERSION")#152488rust-bors[bot] merged 1 commit intorust-lang:mainfrom
