Merge branch 'master' of ssh://git.claws-mail.org/home/git/claws
authorColin Leroy <colin@colino.net>
Sat, 9 Nov 2019 21:48:39 +0000 (22:48 +0100)
committerColin Leroy <colin@colino.net>
Sat, 9 Nov 2019 21:48:39 +0000 (22:48 +0100)

Trivial merge