diff --git a/src/doc/nomicon b/src/doc/nomicon index 0c10c30cc5473..c76a20f0d9871 160000 --- a/src/doc/nomicon +++ b/src/doc/nomicon @@ -1 +1 @@ -Subproject commit 0c10c30cc54736c5c194ce98c50e2de84eeb6e79 +Subproject commit c76a20f0d987145dcedf05c5c073ce8d91f2e82a diff --git a/src/doc/reference b/src/doc/reference index 3340922df189b..3bf3402aea982 160000 --- a/src/doc/reference +++ b/src/doc/reference @@ -1 +1 @@ -Subproject commit 3340922df189bddcbaad17dc3927d51a76bcd5ed +Subproject commit 3bf3402aea982b876eb56c87da17b0685c6461d5