Skip to content

Invert colors in important traits tooltip#46392

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-tooltip
Dec 2, 2017

Commits

Commits on Nov 29, 2017