Merge pull request #131 from stevenvanrossem/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Jul 2016 05:56:23 +0000 (07:56 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Jul 2016 05:56:23 +0000 (07:56 +0200)
fix int-sdk-son-monitor ci test


Trivial merge