From 64ab6f754746179cff0f4af5c331aa761cf96efb Mon Sep 17 00:00:00 2001
From: Michael R. Crusoe
Date: Tue, 2 Jun 2020 16:33:45 +0200
Subject: update tool sub repo

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

(limited to 'workflows')

diff --git a/workflows/tools b/workflows/tools
index 1ecbfef..3e17d1b 160000
--- a/workflows/tools
+++ b/workflows/tools
@@ -1 +1 @@
-Subproject commit 1ecbfefa2c064c9b99765a4fb0f84f84e28d35c9
+Subproject commit 3e17d1b0fc52837df0680c46293216c7d0b0865b
-- 
cgit v1.2.3