mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-22 02:00:00 +03:00
1da4445109
This also reverts commit 9823c2cc70
working around the bug.