mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
e61842d378
These seem to have been missed when the PR originally merged.