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

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

diff --git a/dist b/dist
index fafda272..0f86b71f 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit fafda2726f0cb4addb6974d92af9412438f5ef41
+Subproject commit 0f86b71f787ea10e29f6e15657c4ea0cd9e363f0