Skip to content

Improve rustdoc-gui search-color test#102888

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:improve-search-color-check
Oct 11, 2022

Commits

Commits on Oct 10, 2022