Fix occasional bootstrap panic in docs.#74124

Merged

bors merged 1 commit intorust-lang:masterfrom ehuss:fix-doc-dry-run-up-to-date

Jul 8, 2020

+1-1

Commits on Jul 7, 2020

Fix occasional bootstrap panic in docs.
ehuss
committed