diff --git a/docs b/docs
index 277e3337..5a7258e0 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 277e33379b59fa244b1b925488953cde2004486d
+Subproject commit 5a7258e0f6890265c8fa709a74fff7fd4d0bec9d