From 0bcbdbf7d045e1384ced72c74c4feecb6e9893d9 Mon Sep 17 00:00:00 2001
From: Marko Semet <marko10_000@gmx.de>
Date: Sun, 11 Oct 2020 20:16:39 +0200
Subject: [PATCH] Update tools

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

diff --git a/tools b/tools
index 35a8c97..59baf3a 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 35a8c97317c61b141d53d9b9341f684bf4b462c3
+Subproject commit 59baf3adda6b504ccfac348f7d73a5a1f651d96c