diff --git a/docs b/docs
index 9a4041a3..a31c503d 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 9a4041a3f712ca28c9a85bac5317bf41c5855b5a
+Subproject commit a31c503dfeb89a24be1bd2b1fabec89e73a4a308