]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #82106 - jyn514:cleanup-bootstrap, r=Mark-Simulacrum
authorJonas Schievink <jonasschievink@gmail.com>
Mon, 15 Feb 2021 15:07:02 +0000 (16:07 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Feb 2021 15:07:02 +0000 (16:07 +0100)
commit40d85a5f7d102d0ffba6abb5ca22df47e8778d7d
tree6f5cf02f3160801ff162d5ba7b24ab1375463f41
parentdb5ae6a6265e12e50f6e3002e37d72d06f46b3b7
parentc58386012623d6f3940f28451d2e7088bce6ae58
Rollup merge of #82106 - jyn514:cleanup-bootstrap, r=Mark-Simulacrum

Remove unnecessary `Option` in `default_doc`

Previously, there were two different ways to encode the same info: `None` or
`Some(&[])`. Now there is only one way, `&[]`.
src/bootstrap/builder.rs
src/bootstrap/dist.rs