tree 55f0179ad6ec3cb32a95d8aa803e042f1f227b69
parent 5670d048c0f88af9976b5505c7853b23dd06770d
parent a7a6dedfe661a6d9d181afeb0fbaa894fcb7362b
author bors <bors@rust-lang.org> 1568716621 +0000
committer bors <bors@rust-lang.org> 1568716621 +0000

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