rustdoc: sort deprecated items lower in search#107629
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 11, 2023
pitaj:rustdoc-search-deprecated
Merged
rustdoc: sort deprecated items lower in search#107629bors merged 1 commit intorust-lang:masterfrom pitaj:rustdoc-search-deprecated
bors merged 1 commit intorust-lang:masterfrom
pitaj:rustdoc-search-deprecated
