rustdoc URL conflict resolution#3097

Closed

GuillaumeGomez wants to merge 3 commits intorust-lang:masterfrom

GuillaumeGomez:rustdoc-url-conflict-resolution

Commits on Mar 29, 2021

Initial draft for the rustdoc URL conflict resolution
GuillaumeGomez
committed

Commits on Mar 30, 2021