Merge pull request #221 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 19 May 2017 10:03:17 +0000 (12:03 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 19 May 2017 10:03:17 +0000 (12:03 +0200)
commitce69f2e9f813fefb0d56dfb6624e5200399becd6
treecf254d472af8f95b084952de4cfa07a273a27744
parent23b02744af93adbcd5d9f0a67dc781c889975dd4
parentdfc24e2123f2ba54a451d62bfc776fd8298fa89a
Merge pull request #221 from mpeuster/master

Cleanups and fixes for upcoming v2.1