diff --git a/docs b/docs
index 48ecf85d..f1a72554 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 48ecf85d438d840d3463ae17f99d6a36a48f9a9e
+Subproject commit f1a7255413177547e23a0de0c16d8b5a998add00