Merge branch 'master' of ssh+git://git.claws-mail.org/home/git/claws into master
authorPaul <paul@claws-mail.org>
Fri, 13 Nov 2020 09:33:30 +0000 (09:33 +0000)
committerPaul <paul@claws-mail.org>
Fri, 13 Nov 2020 09:33:30 +0000 (09:33 +0000)

Trivial merge