mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-28 20:16:58 +03:00
auto merge of #15267 : ruud-v-a/rust/patch-1, r=huonw
[This commit](https://github.com/rust-lang/rust/commit/25fe2cadb10db1a54cefbd1520708d4397874bc3#diff-04c6e90faac2675aa89e2176d2eec7d8R57) forgot to remove one line.
This commit is contained in:
Reference in New Issue
Block a user