]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #64516 - RalfJung:nomicon, r=Centril
authorTyler Mandry <tmandry@gmail.com>
Wed, 18 Sep 2019 04:27:25 +0000 (21:27 -0700)
committerGitHub <noreply@github.com>
Wed, 18 Sep 2019 04:27:25 +0000 (21:27 -0700)
update Nomicon and Reference

Cc @Centril


Trivial merge