Skip to content

Add some timing info to rustdoc#74590

Merged
bors merged 9 commits intorust-lang:masterfrom
jyn514:timing
Aug 24, 2020

Commits

Commits on Aug 24, 2020