rustdoc: Show the correct source filename in page titles, without .html#78094
Merged
bors merged 2 commits intorust-lang:masterfrom camelid:rustdoc-fix-source-titleOct 21, 2020
+6-7
Commits
Commits on Oct 19, 2020
Commits on Oct 20, 2020
- committed