Merge remote-tracking branch 'weblate/develop' into develop
authorChocobozzz <me@florianbigard.com>
Tue, 5 May 2020 07:16:16 +0000 (09:16 +0200)
committerChocobozzz <me@florianbigard.com>
Tue, 5 May 2020 07:16:16 +0000 (09:16 +0200)

Trivial merge