| Index: tools/deps/dartium.deps/DEPS
|
| diff --git a/tools/deps/dartium.deps/DEPS b/tools/deps/dartium.deps/DEPS
|
| index 5610a716e5378ef83696928538d06bb9f16fcb96..354838e56a54dd5921b7a01181342e3595552d83 100644
|
| --- a/tools/deps/dartium.deps/DEPS
|
| +++ b/tools/deps/dartium.deps/DEPS
|
| @@ -8,7 +8,7 @@ execfile(os.path.join(path, 'src', 'dart', 'tools', 'deps', 'dartium.deps', 'DEP
|
| # Now we need to override some settings and add some new ones.
|
|
|
| vars.update({
|
| - "dartium_chromium_commit": "a0717ebdcf4578b98de1d858005aa9c5f346bd33"
|
| + "dartium_chromium_commit": "a0717ebdcf4578b98de1d858005aa9c5f346bd33",
|
| "chromium_base_revision": "378081",
|
|
|
| # We use mirrors of all github repos to guarantee reproducibility and
|
|
|