tree 05f1d6f3cf979f4a65776806de02cb7772da726e
parent d782f09ae0b88a73a69e2fa3169222cdbc47d4ec
parent daafeb35b731a599fc8b6c4cf37b81f838dae319
author Tyler Mandry <tmandry@gmail.com> 1568754655 -0700
committer GitHub <noreply@github.com> 1568754655 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdgUvfCRBK7hj4Ov3rIwAAdHIIAFU6jg+XQOFDmnowPUZ1NFct
 lfrcG+i8u+20H7jMh3SO3iW8edxlWQxYSaI3oJfCAYSnRPDVwknZS0GytMh27oLg
 U0ou/b++UhR8XUMmA/NM1qVYJm6xGyqBQ6iGPqlEWEUiB7mpM43TM34tXT274FGI
 5ffrg+PtPbRDquX4Cx+BynZSEc1Xkk6jCnly2wGZSuoVorXJW2vtBeuHFJCh/L20
 UYiX00itXkakxv9MXIwLaJlwiw3wtYpPa8ALmtq/0hD4eQr8iWH5xmzghv0tBc8u
 kNclA3AHOdoGyjmOgIso3cbCemupaJqRwCOlA0xK2MqQcpk9cPTLUmLoxIwS3Ww=
 =hgZo
 -----END PGP SIGNATURE-----
 

Rollup merge of #64541 - RalfJung:miri-errors, r=oli-obk

document Miri error categories

r? @oli-obk