From 6599feb6a6f8b488bd2d12fcf532c3b8a917a17f Mon Sep 17 00:00:00 2001
From: Michael R. Crusoe
Date: Tue, 5 May 2020 13:11:02 +0200
Subject: move some tools into the shared repo

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

(limited to 'workflows/tools')

diff --git a/workflows/tools b/workflows/tools
index 45c2d6d..2d8523e 160000
--- a/workflows/tools
+++ b/workflows/tools
@@ -1 +1 @@
-Subproject commit 45c2d6dab199cb931b28c54863924ff3cf9079c1
+Subproject commit 2d8523e9a86a9504e77d21f8a878d4f8ef2dac42
-- 
cgit v1.2.3