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

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

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