From 73b29050b9852c9d3b321f264dab69e3a595f0ba Mon Sep 17 00:00:00 2001
From: Matthias Radestock <matthias.radestock@gmail.com>
Date: Sat, 24 Jun 2017 23:10:47 +0100
Subject: [PATCH] update tools to weaveplugin-free version

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

diff --git a/tools b/tools
index 80dd78e6..11400eaa 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 80dd78e6e35e2b5d24960a8b128675cfe22707d4
+Subproject commit 11400eaa2cea2f954fb3e5ecdf5e5d63649c25c8