Merge branch 'PR#570' into maint

This commit is contained in:
Frank H. Ellenberger 2019-08-30 15:05:44 +02:00
commit abc0964c86

18416
po/he.po

File diff suppressed because it is too large Load Diff