diff --git a/doc b/doc index 2e85896e83..40e049c138 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 2e85896e834747f97e6d60fcc3b55ed28fd07c0a +Subproject commit 40e049c138d830f4be5b9b12715f1244d18e23d8