diff --git a/doc/sphinxext b/doc/sphinxext index e47b9404963a..a482f66913c1 160000 --- a/doc/sphinxext +++ b/doc/sphinxext @@ -1 +1 @@ -Subproject commit e47b9404963ad2a75a11d167416038275c50d1c5 +Subproject commit a482f66913c1079d7439770f0119b55376bb1b81