Auto merge of #43618 - SimonSapin:nomiconup, r=steveklabnik

bors · bors · commit c701ba6efb7e · 2017-08-03T16:54:22.000Z
Update nomicon (This should have been in #42959.)
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit f8fd6710399a1a557155cb5be4922fe6a6f694c0
+Subproject commit f570bcb681771d691aa4fdb8dfcfad1939844bf5
