tree 55f0179ad6ec3cb32a95d8aa803e042f1f227b69
parent 5670d048c0f88af9976b5505c7853b23dd06770d
author Pietro Albini <pietro@pietroalbini.org> 1568707135 +0200
committer Pietro Albini <pietro@pietroalbini.org> 1568707135 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQIzBAABCgAdFiEE1JbYPtLJAsc22U9xPgar6Auq8ZwFAl2AkkIACgkQPgar6Auq
 8ZySxg//V93283v0at/hxcpGKAFi90cC306ZUKMMWulV4SAcTYBUcvs3O2xwhklZ
 dpcGXvr1zHubAIwI42kiy9Ay6kwcsKuFXVzgLX7zuHUQ8n4SCLm3nKK54q1A0D/a
 QBLVZUDLeaKItgTYg2WQiE9P2EUgth+0xc2fZ0KvlqnuC3RmdmrYj3whQTFa2YBv
 hs3RKj0/bNlbcgHk4GforGxX6WhHlWOzNfkfue5uIMLYm2spemLEd+qkr+rqkUyY
 ydZFSFUry6Ej4bmfmBA+kfpPYvtjlMEaVscDPGHQYboYdYaJnZH6DqWF4Do6YRlL
 aADI8DpHG6oFHXQ0CIIa23jQAVx2+0FhVZ72htLd7ioAzOQAAHOFRAFxuLAhYQL5
 qtfP7B3Tc91lJF0lw5mfWgKOuWOc3LEJvGf16nXuL+jzGjQC0kGc5ekooDpJohVr
 dOfMWnaCLaD2d4d4UHV3SXqWSAW5owaNBmhWLYRm1WdOzz8NPNWTgvjESXfS8AHg
 MVmpmnmZesIg9vBDgtevrf6b7SporsbAsIjRPx88rTOBWyz4kwSe+Gl2wj4cCKKD
 WjDFNPWI7C4JGk8tmW1/jY2wOa2g4XYGUQt+rQ8zEwGvWk4+DqH04e20eAeY2WAy
 4s52D84wbFOE4vIe+TYPAyItHI//it6kafovykeTmUf/FSVi4l0=
 =JlFR
 -----END PGP SIGNATURE-----

Revert "Rollup merge of #64451 - RalfJung:miri-manifest, r=pietroalbini"

This reverts commit 7975973e2b806a7ee8e54b40f9e774528a777e31, reversing
changes made to f0320e54c7c2c923e2e05996ac1d74f781115bbc.