diff --git a/docs b/docs
index dc408eb5..88250363 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit dc408eb5140a1b5a3776d60f52217eb3e5128276
+Subproject commit 88250363a6f5c374b88b75f03fccb7e5e6e0be88