Skip to content

rustdoc: Allow whitespace as path separator like double colon#108537

Merged
bors merged 7 commits into
rust-lang:masterfrom
GuillaumeGomez:rustdoc-search-whitespace-as-separator
Jul 2, 2023
Merged

rustdoc: Allow whitespace as path separator like double colon#108537
bors merged 7 commits into
rust-lang:masterfrom
GuillaumeGomez:rustdoc-search-whitespace-as-separator

Fix eBNF and handling of whitespace characters when not in a path

e4ee329
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs