Merge pull request #146 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 20 Jul 2016 11:47:13 +0000 (13:47 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 20 Jul 2016 11:47:13 +0000 (13:47 +0200)
commit0b99adec8c7d1fc494f3b4c79a378f03f40b259b
tree154fa6273971efc13c50303fe4f1a57dc4f47e91
parent905b11fc555c0aa4e41b7516a40fecb35853cc0b
parent6b5224d7f2f9c52802b37d5454ac02a8fe2c6634
Merge pull request #146 from mpeuster/master

Improved chain management in dummy gatekeeper.