Remove a workaround for a bug (take 2) #151002
Merged
rust-bors / Bors try build
succeeded
Jan 12, 2026 in 2h 22m 6s
Bors try build
Loading