Rollup of 5 pull requests - #118473

Merged

bors merged 13 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-q96bm3u

Nov 30, 2023

Commits on Nov 29, 2023

rustdoc-search: allow `:: ` and ` ::`
notriddle
committed
c28de27
rustdoc-search: removed dead parser code
notriddle
committed
93f1711
rustdoc-search: replace TAB/NL/LF with SP first
notriddle
committed
930cba8
Tweak message on ADT with private fields building
estebank
committed
4be0707
rustc_span: Remove unused symbols.
aDotInTheVoid
committed
32c035c
rustdoc: remove small from `small-section-header`
notriddle
committed
c910a49

Commits on Nov 30, 2023