Skip to content

rustdoc: update pulldown + fix spurious rendering difference around footnotes#45421

Merged
bors merged 2 commits intorust-lang:masterfrom
QuietMisdreavus:update-pulldown
Oct 28, 2017
Merged

rustdoc: update pulldown + fix spurious rendering difference around footnotes#45421
bors merged 2 commits intorust-lang:masterfrom
QuietMisdreavus:update-pulldown

Commits

Commits on Oct 21, 2017