Merge pull request #18 from markusgeiss/develop
authorMarkus Geiss <markus.geiss@kuelap.io>
Fri, 6 Oct 2017 15:11:44 +0000 (17:11 +0200)
committerGitHub <noreply@github.com>
Fri, 6 Oct 2017 15:11:44 +0000 (17:11 +0200)
commit942b2d75247cd31b31300ca51f93ea3c1cb4e142
tree3990df8c21ab29c73ca9ec19851007a910d14502
parentacc24299dd2ce4ca02bc4b61a4adbe710563aea8
parentebfce33733556fbf57a190118e18c8ab9a56d48a
Merge pull request #18 from markusgeiss/develop

added more upfront verifications