Give precedence to `html_root_url` over `--extern-html-root-url` by default, but add a way to opt-in to the previous behavior#82776

Merged

bors merged 1 commit intorust-lang:masterfrom

jyn514:extern-url-fallback

Aug 21, 2021

Commits on Aug 19, 2021

Give precedence to `html_root_url` over `--extern-html-root-url` by default, but add a way to opt-in to the previous behavior
jyn514
committed