diff --git a/docs b/docs
index e238fb05..80edf4a5 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit e238fb0513732bdceb78147764882d0989a2fed1
+Subproject commit 80edf4a5027a85a41c3eb8b063aec100bda31a1e