From 6c375a37c8d22c3c7a89c6a7bb17507e870e1134 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Wed, 9 Nov 2016 14:18:06 +0100
Subject: [PATCH] update dist dir

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

diff --git a/dist b/dist
index 549ab76b..1e30a877 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 549ab76b4215dab2299dbcbde271c810aae2ab51
+Subproject commit 1e30a877e6321b079f36e166ae7aae4884ba0077