diff --git a/docs b/docs
index 00bd507e22..0271e72513 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 00bd507e227e8b145bb75a1f13f22d9126281cbb
+Subproject commit 0271e725130383b1af3555a17efcc939b48c39e5