diff options
author | Jeff Gaston <jeffrygaston@google.com> | 2020-06-16 22:10:12 +0000 |
---|---|---|
committer | Jeff Gaston <jeffrygaston@google.com> | 2020-06-16 18:11:05 -0400 |
commit | e8081cbf1360c2002039efeb8de6a78b052cbf8b (patch) | |
tree | 22c6f331a660126e94b5778ceeaeead3c3f5e9e1 | |
parent | 1292aa1b1e612595ea114901721e00eeded24f06 (diff) | |
download | manifest-e8081cbf1360c2002039efeb8de6a78b052cbf8b.tar.gz |
Revert "Pinning jdk11 to previous version"
This reverts commit ca0fe140e5b3703bbc9aceb1dd57583290468cf5.
Reason for revert: May not have been necessary; now we're trying the newer version again
Change-Id: Id807f6776017e9c0059fb69358d72411421ce71e
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 1dfc4090a..e94b4a0a8 100644 --- a/default.xml +++ b/default.xml @@ -123,7 +123,7 @@ <project path="prebuilts/jdk/jdk11" name="platform/prebuilts/jdk/jdk11" - revision="bbeda2d62c42637bc218e5de0fc3471bfd0cf5c0" + revision="master" groups="pdk" clone-depth="1" /> <project |