Fix minor nomicon breakage

alexcrichton · alexcrichton · commit fffcde647a5f · 2018-11-22T21:29:56.000-08:00
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit f8a4e96feb2e5a6ed1ef170ad40e3509a7755cb4
+Subproject commit fb3e2ac7bf52c127a06ea02fd7673d2617c4272a
