Improve "important traits" popup display on mobile#74555
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 21, 2020
Merged
Improve "important traits" popup display on mobile#74555bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
