Merge pull request #225 from stevenvanrossem/master
authorstevenvanrossem <steven.vanrossem@intec.ugent.be>
Fri, 2 Jun 2017 06:14:50 +0000 (08:14 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 2 Jun 2017 06:14:50 +0000 (08:14 +0200)
fix son-emu-cli network/monitor CLI


Trivial merge