diff options
| -rwxr-xr-x | doc/tests/check_profile_l10n_all.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/tests/check_profile_l10n_all.py b/doc/tests/check_profile_l10n_all.py index 4ff277e5151..918dd9e52c3 100755 --- a/doc/tests/check_profile_l10n_all.py +++ b/doc/tests/check_profile_l10n_all.py @@ -111,6 +111,7 @@ for demo in demos: ok = True except: range -= 1 + time.sleep(2) |