Merge branch 'master' of github.com:stevenvanrossem/son-emu
authorstevenvanrossem <steven.vanrossem@intec.ugent.be>
Fri, 15 Apr 2016 13:16:23 +0000 (15:16 +0200)
committerstevenvanrossem <steven.vanrossem@intec.ugent.be>
Fri, 15 Apr 2016 13:16:23 +0000 (15:16 +0200)

Trivial merge