Merge pull request #135 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Jul 2016 11:47:47 +0000 (13:47 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Jul 2016 11:47:47 +0000 (13:47 +0200)
Cleanup for 0.9 release


Trivial merge