Merge pull request #117 from wtaverni/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 20 Jun 2016 14:07:33 +0000 (15:07 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 20 Jun 2016 14:07:33 +0000 (15:07 +0100)
Fix to service chaining driven by dummy GK.


Trivial merge