diff --git a/docs b/docs
index d019f410..8b01eca1 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit d019f41070f64d026b80c9cc612015c5b16d1cda
+Subproject commit 8b01eca1bf01c0e1fecf5d443f519cbb6006400a