From 63f8a891be7726b0d868b0c6892bcf6c8f2d255f Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Tue, 5 Jul 2016 16:21:19 +0200
Subject: [PATCH] update dist

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

diff --git a/dist b/dist
index 428d825f..5ab60028 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 428d825f4141fd3198bb88aee88a014278c4c856
+Subproject commit 5ab60028ce3cdabbefcce00a217155d9a209a0f6
-- 
GitLab