From 98d87cb26d3e8b6751ce9aa0b7983aba91b2f1b9 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Fri, 18 Dec 2015 16:34:21 +0100
Subject: [PATCH] update

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

diff --git a/dist b/dist
index 625a6463..8ba1e4ce 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 625a64635aa47b18e1533774cf707899fb032051
+Subproject commit 8ba1e4ce27a75bb025a5478723ea57f7f437ccf0
-- 
GitLab