update nomicon

This commit is contained in:
Ralf Jung 2018-07-16 16:36:32 +02:00
parent 88b025bccb
commit 21a179649f
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 13e3745ca399118df05e8261e12e3ada6e616b48
Subproject commit 66ef7373409d1979c2839db8886ac2ec9b6a58cd