mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-17 19:15:51 +00:00
As requested https://github.com/rust-lang/rust/pull/85901#pullrequestreview-698404772 Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>