From 9d34ccfdbc7446dde86f3f199391010791197461 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Thu, 3 Dec 2015 18:05:12 +0100
Subject: [PATCH] update

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

diff --git a/dist b/dist
index 08f0702f..96f8f77d 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 08f0702fcde82f22663752d3b8e31803f819c094
+Subproject commit 96f8f77dc4d90cd7fdc09ecb354b8ce7ae270796