rustdoc: Allow whitespace as path separator like double colon#108537
Merged
bors merged 7 commits intorust-lang:masterfrom GuillaumeGomez:rustdoc-search-whitespace-as-separatorJul 2, 2023
+431-188
Commits
Commits on Jun 14, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
