Reduce the amount of bold text at doc.rlo#56080

Merged

bors merged 1 commit intorust-lang:masterfrom mark-i-m:patch-2

Nov 29, 2018

+3

Commits on Nov 19, 2018

Reduce the amount of bold text at doc.rust-lang.org
mark-i-m
authored