Merge branch 'master' of ssh+git://git.claws-mail.org/home/git/claws
authorPaul <paul@claws-mail.org>
Fri, 25 Sep 2020 06:15:38 +0000 (07:15 +0100)
committerPaul <paul@claws-mail.org>
Fri, 25 Sep 2020 06:15:38 +0000 (07:15 +0100)

Trivial merge