]> git.lizzy.rs Git - rust.git/commitdiff
Update the miri submodule
authorOliver Schneider <github35764891676564198441@oli-obk.de>
Wed, 30 May 2018 10:05:17 +0000 (12:05 +0200)
committerOliver Schneider <github35764891676564198441@oli-obk.de>
Thu, 31 May 2018 08:22:45 +0000 (10:22 +0200)
src/tools/miri

index 6a4c62c1673c3dabcc9a0c99018bd08fec46fda7..49ca1746482e3c8221d8e8c7161b7d92ae076c8f 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 6a4c62c1673c3dabcc9a0c99018bd08fec46fda7
+Subproject commit 49ca1746482e3c8221d8e8c7161b7d92ae076c8f