Merge branch 'master' of ssh+git://git.claws-mail.org/home/git/claws
authorMichael Rasmussen <mir@datanom.net>
Mon, 4 Mar 2019 23:12:46 +0000 (00:12 +0100)
committerMichael Rasmussen <mir@datanom.net>
Mon, 4 Mar 2019 23:12:46 +0000 (00:12 +0100)

Trivial merge