]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #81738 - camelid:misc-small-diag-cleanup, r=lcnr
authorJonas Schievink <jonasschievink@gmail.com>
Sat, 6 Feb 2021 16:01:49 +0000 (17:01 +0100)
committerGitHub <noreply@github.com>
Sat, 6 Feb 2021 16:01:49 +0000 (17:01 +0100)
commit96e843ce6ae42e0aa519ba45e148269de347fd84
tree0694af307b17fd5dea590ce76249c2510d93e598
parentf631410159d99280c98e2df6db89a61f73d8b541
parent253a970c3dd35bf92040e819b7a60a5136728e59
Rollup merge of #81738 - camelid:misc-small-diag-cleanup, r=lcnr

Miscellaneous small diagnostics cleanup