From 45dcf715adc54879d6694864c29618fc8b5f9102 Mon Sep 17 00:00:00 2001
From: Marko Semet <marko10_000@gmx.de>
Date: Fri, 10 Jul 2020 17:51:50 +0200
Subject: [PATCH] Update tools

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

diff --git a/tools b/tools
index ad1468b..da13c23 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit ad1468b201ecac88a1b8d30f7c27179b8d60b8be
+Subproject commit da13c238bca8356b1f19247a41d56da6c4c05fc5