diff --git a/doc b/doc index 1e724c819a..6b22175718 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 1e724c819a6a551a46a1ffe11bf09e6287f20376 +Subproject commit 6b22175718f107dc6fb9ed17704ed7f2cff8badf