Skip to content

Improve "important traits" popup display on mobile#74555

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:important-traits-popupJul 21, 2020