Merge remote-tracking branch 'upstream/master'
authorClaudius Zingerli <githubkszmail@zeuz.ch>
Wed, 20 Jan 2016 16:15:04 +0000 (17:15 +0100)
committerClaudius Zingerli <githubkszmail@zeuz.ch>
Wed, 20 Jan 2016 16:15:04 +0000 (17:15 +0100)

Trivial merge