Skip to content

Make metric header not be "( )" when there is no metric#1409

Merged
Mark-Simulacrum merged 2 commits intorust-lang:masterfrom
rylev:fix-empty-parens
Aug 16, 2022
Merged

Make metric header not be "( )" when there is no metric#1409
Mark-Simulacrum merged 2 commits intorust-lang:masterfrom
rylev:fix-empty-parens

Commits

Commits on Aug 16, 2022