Rollup of 5 pull requests#60567

Merged

bors merged 17 commits intorust-lang:masterfrom

Manishearth:rollup-rjagqnw

May 6, 2019

Commits on Apr 20, 2019

Fix broken link in rustc_plugin doc
agnxy
committed

Commits on May 3, 2019

use span instead of div for since version
euclio
committed

Commits on May 4, 2019

Correct code points to match their textual description
Gianluca Recchia
committed

Commits on May 5, 2019