user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #89536 - RalfJung:miri, r=RalfJung

Browse source 
update Miri

Let's get the recent fixes and improvements shipped.
r? ````@ghost````
This commit is contained in:
Jubilee 2021-10-04 21:12:44 -07:00 • committed by GitHub
commit 2ae8ced803
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri

@ -1 +1 @@
Subproject commit 035933186957cf81c488261fb48a98bf523e8006
Subproject commit 18667a856596713fc4479f99b96afc7f03aa995c