Merge branch 'master' into debugger/go
authorMirio <opivy@hotmail.de>
Mon, 6 Apr 2015 16:41:48 +0000 (18:41 +0200)
committerMirio <opivy@hotmail.de>
Mon, 6 Apr 2015 16:41:48 +0000 (18:41 +0200)

Trivial merge