Couple of small documentation fixes.#62720

Closed

tomasz-rozanski wants to merge 3 commits intorust-lang:masterfrom

tomasz-rozanski:master

Commits on Jul 16, 2019

Commits on Jul 21, 2019

Merge remote-tracking branch 'upstream/master'
tomasz-rozanski
committed