Skip to content

Add JSON output to -Zdump-mono-stats#106274

Merged
bors merged 2 commits intorust-lang:masterfrom
jyn514:dump-mono-stats
Jan 4, 2023
Merged

Add JSON output to -Zdump-mono-stats#106274
bors merged 2 commits intorust-lang:masterfrom
jyn514:dump-mono-stats

Commits

Commits on Jan 2, 2023