From 6bf42f90ed7248633db8345c89127de3f6d5a521 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 9 Aug 2017 17:59:28 +0300
Subject: [PATCH] Docs: Short titles in menu

---
 docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs b/docs
index 9f566b96..a9599648 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 9f566b9657503ae664e031cc91d6b9a2193714b4
+Subproject commit a9599648a50e8badd31cd905058fd4df38873d5c