Merge branch 'clifford/fix883'
authorClifford Wolf <clifford@clifford.at>
Wed, 1 May 2019 22:04:12 +0000 (00:04 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 1 May 2019 22:04:12 +0000 (00:04 +0200)

Trivial merge