diff --git a/doc b/doc index 1f843bcd07..6ccf06f0f6 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 1f843bcd074e8b72da60c0d1519b90e5ee110365 +Subproject commit 6ccf06f0f6b0c24f120160aeb05307e4c4a44975