Merge branch 'master' into master-ghc9

This commit is contained in:
Evgeny Poberezkin
2023-08-25 11:32:37 +01:00
36 changed files with 237 additions and 109 deletions
+1 -1
View File
@@ -2,7 +2,7 @@
set -e
langs=( en cs de es fr it ja nl pl ru zh-Hans )
langs=( en cs de es fr it ja nl pl ru th zh-Hans )
for lang in "${langs[@]}"; do
echo "***"