]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2055 - RalfJung:rustup, r=RalfJung
authorbors <bors@rust-lang.org>
Fri, 8 Apr 2022 13:57:45 +0000 (13:57 +0000)
committerbors <bors@rust-lang.org>
Fri, 8 Apr 2022 13:57:45 +0000 (13:57 +0000)
commitbe72564a643758afcc1de152ead2359d489149c0
tree71d89d23ad17995bc18d402d57f9eec4a454c83a
parentf3a98563dfb5ed7978f5426b260365af0e6df169
parent3a59a15af718339675273b397b822ef1e3f4290b
Auto merge of #2055 - RalfJung:rustup, r=RalfJung

Rustup

Fixes https://github.com/rust-lang/miri/issues/1717