diff --git a/docs b/docs
index 88a52b67..5071271d 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 88a52b6700255801b9bb53d2aab2f36c8072c73a
+Subproject commit 5071271dff8a7162489fc43fb6d98966d2593c09