Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
auto merge of #15267 : ruud-v-a/rust/patch-1, r=huonw
[This commit](25fe2ca#diff-04c6e90faac2675aa89e2176d2eec7d8R57) forgot to remove one line.
- Loading branch information