diff --git a/docs b/docs
index 7074fd6f..f712eddd 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 7074fd6f31215f759cbbc9ad51a88545e86807c4
+Subproject commit f712eddd905d307793b1e91e615f8a83c30fb9ed