diff --git a/Docs b/Docs
index f2ca2ccae..71f55dc30 160000
--- a/Docs
+++ b/Docs
@@ -1 +1 @@
-Subproject commit f2ca2ccaed8694b1ecb3db42a83904e3e5b0c13e
+Subproject commit 71f55dc30ac5efbcbb94336af2a599a3894978ca