Merge pull request #240 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 20 Jul 2017 13:57:06 +0000 (15:57 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 20 Jul 2017 13:57:06 +0000 (15:57 +0200)
Fix: Broken external dependecy.


Trivial merge