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

Centril · web-flow · commit de703d8f28dc · 2019-09-16T21:40:41.000+02:00
update Nomicon and Reference Cc @Centril
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit 38b9a76bc8b59ac862663807fc51c9b757337fd6
+Subproject commit 3600533888b17cc8f9ead74ad78d76ee07275743
diff --git a/src/doc/reference b/src/doc/reference
@@ -1 +1 @@
-Subproject commit 1944efed35989ba57fa397c0724c4921310311fc
+Subproject commit fa5dfb832ef8a7568e17dabf612f486d641ff4ac
