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

update nomicon and book
This commit is contained in:
kennytm 2018-08-24 16:44:42 +08:00
commit ff4500c389
No known key found for this signature in database
GPG Key ID: FEF6C8051D0E013C
2 changed files with 2 additions and 2 deletions

@ -1 +1 @@
Subproject commit 88cdde350fd3a90c93f3bac8b4f168f105d28060
Subproject commit 16c9dee7666c2b2766fd98d89003e028679d1207

@ -1 +1 @@
Subproject commit 790e96b87f4b5817cac310e73a524d25c3d076d8
Subproject commit ae42ad7aa4d7907cca941371c9eee8de8c2ee40d