Rollup of 4 pull requests#62458

Merged

bors merged 9 commits intorust-lang:masterfrom

Centril:rollup-j6o2sqj

Jul 7, 2019

Commits on Jul 3, 2019

First question mark in doctest
llogiq
committed

Commits on Jul 4, 2019

Add missing links in Option documentation
GuillaumeGomez
committed

Commits on Jul 6, 2019