diff --git a/docs b/docs
index f82e7f42..71741fe7 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit f82e7f42668b0f27963ba21792eb72f2504582de
+Subproject commit 71741fe70c5bdb031a0182de027ac7dbe0ac02d5