diff --git a/devtools/update_translations.sh b/devtools/update_translations.sh old mode 100644 new mode 100755