update nomicon

steveklabnik · pietroalbini · commit 864b775276dd · 2018-11-30T17:47:09.000+01:00
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit fb3e2ac7bf52c127a06ea02fd7673d2617c4272a
+Subproject commit b7eb4a087207af2405c0669fa577f8545b894c66
