| commit | 80cf62d729e199ff0ba45acedc75419bc48c52c1 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Thu Jul 30 21:50:20 2020 +0200 |
| committer | David Ostrovsky <david@ostrovsky.org> | Thu Jul 30 21:50:45 2020 +0200 |
| tree | 7c3758773d5c85a92118057bf69d579c51897928 | |
| parent | 7f80cfa8d68ea47ad83de76dbb587321f52c748a [diff] |
Build with plugin API 3.3.0-SNAPSHOT Change-Id: Ie6f1ffb7a78d667a9aa737c5748921bfcf00a151
diff --git a/WORKSPACE b/WORKSPACE index da8db25..bd2bc1a 100644 --- a/WORKSPACE +++ b/WORKSPACE
@@ -12,7 +12,7 @@ "gerrit_api", ) -gerrit_api() +gerrit_api(version = "3.3.0-SNAPSHOT") load("//:external_plugin_deps.bzl", "external_plugin_deps")