Merge branch 'origin/dev' into Weblate.

This commit is contained in:
Hosted Weblate 2020-06-01 19:41:43 +02:00
commit 6eec1ded7c
16 changed files with 154 additions and 36 deletions