update Nomicon and Reference

RalfJung · RalfJung · commit 8a8a57e8cf00 · 2019-09-16T20:43:09.000+02:00
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
