Skip to content

Fix the progress message for x doc rustc#112152

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:doc-msg
Jun 2, 2023
Merged

Fix the progress message for `x doc rustc`#112152
bors merged 1 commit intorust-lang:masterfrom
jyn514:doc-msg

Commits

Commits on May 31, 2023