Skip to content

[rustdoc] Fix crates filtering box not being filled#57614

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:fix-crate-filtering
Jan 15, 2019
Merged

[rustdoc] Fix crates filtering box not being filled#57614
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:fix-crate-filtering

Fix crates filtering box not being filled

0d695ff
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs