Make metric header not be "( )" when there is no metric#1409
Merged
Mark-Simulacrum merged 2 commits intorust-lang:masterfrom Aug 16, 2022
Merged
Make metric header not be "( )" when there is no metric#1409Mark-Simulacrum merged 2 commits intorust-lang:masterfrom
Mark-Simulacrum merged 2 commits intorust-lang:masterfrom