diff --git a/doc b/doc index 83274cfd87..f27b844e47 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 83274cfd87b419e9a077b94389e478c60cdc0dff +Subproject commit f27b844e47726470d5b7ce5567d11fe4a48c72f8