diff --git a/docs b/docs
index 29f80d45..3f5d12ca 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 29f80d45f2d7fe14918b507d84ec8badc54fe087
+Subproject commit 3f5d12ca25f4af666871d3d87d191a4deb478937