Auto merge of #58535 - RalfJung:miri, r=oli-obk
update miri r? @oli-obk Fixes https://github.com/rust-lang/rust/issues/58558
This commit is contained in:
commit
0e25a6829c
|
@ -24,7 +24,7 @@
|
|||
url = https://github.com/rust-lang-nursery/rustfmt.git
|
||||
[submodule "src/tools/miri"]
|
||||
path = src/tools/miri
|
||||
url = https://github.com/solson/miri.git
|
||||
url = https://github.com/rust-lang/miri.git
|
||||
[submodule "src/doc/rust-by-example"]
|
||||
path = src/doc/rust-by-example
|
||||
url = https://github.com/rust-lang/rust-by-example.git
|
||||
|
@ -46,4 +46,4 @@
|
|||
branch = rustc/8.0-2019-01-16
|
||||
[submodule "src/doc/embedded-book"]
|
||||
path = src/doc/embedded-book
|
||||
url = https://github.com/rust-embedded/book.git
|
||||
url = https://github.com/rust-embedded/book.git
|
||||
|
|
|
@ -1626,6 +1626,7 @@ dependencies = [
|
|||
"log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-workspace-hack 1.0.0",
|
||||
"rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"shell-escape 0.1.4 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"vergen 3.0.4 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
]
|
||||
|
||||
|
|
|
@ -1 +1 @@
|
|||
Subproject commit a9505a8fb89ece7fa514cf3c70f1ada3e39baeec
|
||||
Subproject commit 76138c56575c347207039bdeafb8456bd72116ad
|
Loading…
Reference in New Issue