Merge remote branch 'origin/develop' into piledriver
authorwernsaar <wernsaar@googlemail.com>
Sun, 1 Dec 2013 12:33:18 +0000 (13:33 +0100)
committerwernsaar <wernsaar@googlemail.com>
Sun, 1 Dec 2013 12:33:18 +0000 (13:33 +0100)

Trivial merge