| Index: sync_chromium.py
|
| diff --git a/sync_chromium.py b/sync_chromium.py
|
| index 91b1931a96c4ce27865b21e29f33c485ff5a4b89..adae5176808c1245d24ee52b0e941d44a5179b79 100755
|
| --- a/sync_chromium.py
|
| +++ b/sync_chromium.py
|
| @@ -31,7 +31,7 @@ import textwrap
|
|
|
| # Bump this whenever the algorithm changes and you need bots/devs to re-sync,
|
| # ignoring the .last_sync_chromium file
|
| -SCRIPT_VERSION = 8
|
| +SCRIPT_VERSION = 9
|
|
|
| ROOT_DIR = os.path.dirname(os.path.abspath(__file__))
|
| CHROMIUM_NO_HISTORY = 'CHROMIUM_NO_HISTORY'
|
|
|