diff --git a/docs b/docs
index 0271e72513..3d71528bde 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 0271e725130383b1af3555a17efcc939b48c39e5
+Subproject commit 3d71528bde5c24ddad26edaabbaa183e9ef706e6