diff --git a/docs b/docs
index 7b3bc149..1712ba74 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 7b3bc1494aed26fd2e33940bc44dd81b9231a115
+Subproject commit 1712ba74a29534eed900e7570015cd22c24e0628