diff --git a/doc b/doc index 1ce37d96e2..6952b4b7c2 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 1ce37d96e268134100fbc6793c0c64d48e162337 +Subproject commit 6952b4b7c2d9032734d7e7972b147446d08e6d2e