Skip to content

Fix right arrow size for crate filter#56633

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-right-arrow-display
Dec 11, 2018
Merged

Fix right arrow size for crate filter#56633
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-right-arrow-display

Commits

Commits on Dec 8, 2018