From dab72be87fec221886c5e78284f4677733048d0c Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Wed, 3 Feb 2016 11:37:36 +0100
Subject: [PATCH] update

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

diff --git a/dist b/dist
index 5e295b80..6904e601 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 5e295b80d793748515957c5d309d2f8e8e83af29
+Subproject commit 6904e6018d63951c91fd28586570a6f9153dcdd3