From bff9ccdaeb9af260bb7fa914fc935dab60abf5a5 Mon Sep 17 00:00:00 2001
From: Marko Semet <marko10_000@gmx.de>
Date: Wed, 8 Jul 2020 14:57:18 +0200
Subject: [PATCH] Update tools

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

diff --git a/tools b/tools
index 52f3918..ad1468b 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 52f391815f5a4c1e85f0de5ab16489bd2db5a313
+Subproject commit ad1468b201ecac88a1b8d30f7c27179b8d60b8be