Skip to content

rustdoc-search: search never type with !#112571

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/never-search
Jun 14, 2023
Merged

rustdoc-search: search never type with `!`#112571
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/never-search

Commits

Commits on Jun 13, 2023