commit b2501a1269b4bccf454556736b8433979df43835
author Tyler Mandry <tmandry@gmail.com> Tue Sep 17 21:27:25 2019 -0700
committer GitHub <noreply@github.com> Tue Sep 17 21:27:25 2019 -0700
tree e42e336920ab3c2fa3ebc0eb4a4aa15b0e7aed5f
parent dbce655eda68a5f18a9593f9b6c6842693fcbabb
parent ebd129b7ff2b67f93dedf27ce9aadd5197f0d015

Rollup merge of #64516 - RalfJung:nomicon, r=Centril

update Nomicon and Reference

Cc @Centril

src/doc/nomicon

diff --git a/src/doc/nomicon b/src/doc/nomicon
index 38b9a76..4374786 160000
--- a/src/doc/nomicon
+++ b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit 38b9a76bc8b59ac862663807fc51c9b757337fd6
+Subproject commit 4374786f0b4bf0606b35d5c30a9681f342e5707b

src/doc/reference

diff --git a/src/doc/reference b/src/doc/reference
index 1944efe..fa5dfb8 160000
--- a/src/doc/reference
+++ b/src/doc/reference
@@ -1 +1 @@
-Subproject commit 1944efed35989ba57fa397c0724c4921310311fc
+Subproject commit fa5dfb832ef8a7568e17dabf612f486d641ff4ac