| commit | f504e37dc64b2f00291f53517fe9cb2329d00fb8 | [log] [tgz] |
|---|---|---|
| author | bors <bors@rust-lang.org> | Tue Sep 17 10:37:01 2019 +0000 |
| committer | bors <bors@rust-lang.org> | Tue Sep 17 10:37:01 2019 +0000 |
| tree | 55f0179ad6ec3cb32a95d8aa803e042f1f227b69 | |
| parent | 5670d048c0f88af9976b5505c7853b23dd06770d [diff] | |
| parent | a7a6dedfe661a6d9d181afeb0fbaa894fcb7362b [diff] |
Auto merge of #64543 - pietroalbini:revert-miri-manifest, r=pietroalbini Revert #64451 #64451 is making the release process panic, causing today's missing nightly (see https://github.com/rust-lang/rust/issues/64540). This reverts that PR, but I'm happy to review a fixed version of it. cc @RalfJung r? @ghost Fixes https://github.com/rust-lang/rust/issues/64540