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

str_strip is stable
2020-05-29 08:01:40 +00:00 · 2020-05-29 08:01:40 +00:00 · dd1e112334
commit dd1e112334
parent 83b4222d9a f55c0153f1
2 changed files with 1 additions and 2 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-45127211566c53bac386b66909a830649182ab7a
+255c0338dc0b02f833fb1a816d76febd50c399c4
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@ -1,5 +1,4 @@
 #![feature(rustc_private)]
-#![feature(str_strip)]

 extern crate rustc_middle;
 extern crate rustc_driver;