Merge pull request #99 from stevenvanrossem/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 11 May 2016 14:16:46 +0000 (16:16 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 11 May 2016 14:16:46 +0000 (16:16 +0200)
update dummygatekeeper with chaining commands


Trivial merge