Fix spelling in the documentation to htmldocck.py#54989
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 12, 2018
Merged
Fix spelling in the documentation to htmldocck.py#54989bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom