Merge branch 'master' of git://github.com/maikelsteneker/tue-2io23
Merge branch 'master' of git://github.com/kokx/tue-2io23
Tried to exit all threads friendly.. fail
Merge branch 'master' of git://github.com/FlorianOosterhof/tue-2io23