Add rustdoc version into the help popup#88964

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:version-help

Sep 17, 2021

+39-13

Commits on Sep 17, 2021

Add rustdoc version into the help popup
GuillaumeGomez
committed