Skip to content

Fix font weight#86271

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:fix-font-weight
Jun 13, 2021
Merged

Fix font weight#86271
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:fix-font-weight

Commits

Commits on Jun 13, 2021