* Fixes NB#86137, show the "settings saved" banner when changing the account settings
[modest] / debian / scripts /
drwxr-xr-x   ..
-rw-r--r-- 156 renew_control_file.sh