]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #102041 - nnethercote:improve-meta-stats, r=bjorn3
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Wed, 21 Sep 2022 13:31:08 +0000 (19:01 +0530)
committerGitHub <noreply@github.com>
Wed, 21 Sep 2022 13:31:08 +0000 (19:01 +0530)
Improve `-Zmeta-stats` some more

A follow-up to #97384.

r? ```@bjorn3```


Trivial merge