From e780f2d3e1f38f16e54445059c9c3c5f7fbdd8be Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Tue, 12 Aug 2014 04:22:46 +0200
Subject: [PATCH] updated JCTools

---
 submodules/JCTools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/submodules/JCTools b/submodules/JCTools
index 75998aa2..88e1e25f 160000
--- a/submodules/JCTools
+++ b/submodules/JCTools
@@ -1 +1 @@
-Subproject commit 75998aa20b7ec897ec321c1f94192de888f2dc6e
+Subproject commit 88e1e25f9519b250258c7e5ada30935975ab2d10
-- 
GitLab