diff --git a/docs b/docs
index 53a19d3c..badc12a5 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 53a19d3c6fa5dd4212f9a3d773b46cbb41125ac7
+Subproject commit badc12a5d835ee9740fa09db0af0b2bba5d00124