add './miri many-seeds', and respect MIRIFLAGS in './miri run'

[rust.git] / rust-version

diff --git a/rust-version b/rust-version
index 85b2e88ac30cb9699a866137dfb9f7352e748d5f..1ab8e6b5a8cea3de3b806bdde6bed5eccab715e3 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-09d52bc5d4260bac8b9a2ea8ac7a07c5c72906f1
+bf45371f262e184b4a77adea88c8ac01ac79759b