Merge pull request #54 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 14 Mar 2016 17:22:02 +0000 (18:22 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 14 Mar 2016 17:22:02 +0000 (18:22 +0100)
SONATA dummy gatekeeper


Trivial merge