Merge branch 'master' of ssh+git://git.claws-mail.org/home/git/claws
authorMichael Rasmussen <mir@datanom.net>
Mon, 11 Nov 2019 22:27:29 +0000 (23:27 +0100)
committerMichael Rasmussen <mir@datanom.net>
Mon, 11 Nov 2019 22:27:29 +0000 (23:27 +0100)

Trivial merge