From 724135f40e0300d28748ad514fd6a7268472a1f2 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Sun, 17 Dec 2017 01:58:43 +0200
Subject: [PATCH] Docs: Simplify solution for "PackageManager is unable to
 install tool"

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

diff --git a/docs b/docs
index a07f975a..a9a8554e 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit a07f975a220eaf1e89b5be88972db2d4bc79f4e0
+Subproject commit a9a8554ed0343d6a12ff750ee41feef15d875bc2