Rollup merge of #64516 - RalfJung:nomicon, r=Centril

update Nomicon and Reference

Cc @Centril
This commit is contained in:
Tyler Mandry 2019-09-17 21:27:25 -07:00 committed by GitHub
commit b2501a1269
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

@ -1 +1 @@
Subproject commit 38b9a76bc8b59ac862663807fc51c9b757337fd6
Subproject commit 4374786f0b4bf0606b35d5c30a9681f342e5707b

@ -1 +1 @@
Subproject commit 1944efed35989ba57fa397c0724c4921310311fc
Subproject commit fa5dfb832ef8a7568e17dabf612f486d641ff4ac