solve merge conflict
authorJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 8 Jan 2019 12:28:15 +0000 (13:28 +0100)
committerJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 8 Jan 2019 12:28:15 +0000 (13:28 +0100)

Trivial merge