From f792937be71b76a2a9028be8e8c69c7e79cc827d Mon Sep 17 00:00:00 2001
From: Marko Semet <marko10_000@gmx.de>
Date: Tue, 14 Jul 2020 01:28:39 +0200
Subject: [PATCH] Update tools

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

diff --git a/tools b/tools
index 10a800a..f8ec81d 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 10a800a072072ef123558ba8c3a8e69e22b2e90e
+Subproject commit f8ec81de4bb9386b6713db6c186da7d6b0c2e6cd