From d532fc530f5ff9fd77472c4fafd8634499c80504 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Thu, 4 Feb 2016 12:06:06 +0100
Subject: [PATCH] update dist

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

diff --git a/dist b/dist
index 6a4aabe6..4340f028 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 6a4aabe69cce5165307e571e8fc99b01e8d9dac8
+Subproject commit 4340f028b5a7e309cd14f6c97bbfb1a626a1330c