From d3346e1d28f0c210f613aa89501ff8e4e9044f6a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20K=C3=B6ster?= <johannes.koester@tu-dortmund.de>
Date: Mon, 9 Oct 2017 16:59:28 +0200
Subject: [PATCH] Trigger travis.