Rollup merge of rust-lang#53614 - RalfJung:nomicon, r=kennytm

kennytm · kennytm · commit ff4500c389a3 · 2018-08-24T19:24:38.000+08:00
update nomicon and book
diff --git a/src/doc/book b/src/doc/book
@@ -1 +1 @@
-Subproject commit 88cdde350fd3a90c93f3bac8b4f168f105d28060
+Subproject commit 16c9dee7666c2b2766fd98d89003e028679d1207
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit 790e96b87f4b5817cac310e73a524d25c3d076d8
+Subproject commit ae42ad7aa4d7907cca941371c9eee8de8c2ee40d
