diff --git a/doc b/doc index d273f2be33..d6d1174795 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit d273f2be33866ce8240bd83632def252aca69d1b +Subproject commit d6d117479510a4ff9084618b867d4a5ec1347b28