Update the version of mdbook we use in-tree to match rust-lang/rust#1912

Merged

carols10cents merged 1 commit intomasterfrom mdbook2

Apr 12, 2019

+2-2

Commits on Apr 12, 2019

Update the version of mdbook we use in-tree to match rust-lang/rust
carols10cents
committed