Merge branch 'PR_842' into maint

This commit is contained in:
Frank H. Ellenberger 2020-12-17 07:34:33 +01:00
commit 42254c0d53

867
po/it.po

File diff suppressed because it is too large Load Diff