Merge pull request #173 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 6 Sep 2016 10:46:40 +0000 (12:46 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 6 Sep 2016 10:46:40 +0000 (12:46 +0200)
Fixes for Y1 demo


Trivial merge