Auto merge of #1438 - RalfJung:rustup, r=RalfJung

rustup Just ensuring everything still works.
2020-05-28 07:19:33 +00:00 · 2020-05-28 07:19:33 +00:00 · c7f266577e
commit c7f266577e
parent 2c0e8597ef 229784ba62
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-7726070fa755f660b5da3f82f46e07d9c6866f69
+45127211566c53bac386b66909a830649182ab7a