diff options
author | android-build-prod (mdb) <android-build-team-robot@google.com> | 2020-03-27 11:46:15 +0000 |
---|---|---|
committer | android-build-prod (mdb) <android-build-team-robot@google.com> | 2020-03-27 11:46:16 +0000 |
commit | 5f0f05e08a5827347dd4942a4be8833bdc770fcd (patch) | |
tree | afa1154be76987a49b428ff7ccd59de065cf8b84 | |
parent | fc748b655be10b9ff973ac0437ad1ca23d5d48df (diff) | |
download | manifest-5f0f05e08a5827347dd4942a4be8833bdc770fcd.tar.gz |
Pin manifest of android-games-sdk-release
Change-Id: Iae3270c17d4bb6631539a343eaa9233342fd909f
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 756e4bea5..e4397f821 100644 --- a/default.xml +++ b/default.xml @@ -5,7 +5,7 @@ <default remote="aosp" revision="android-games-sdk-release" sync-j="4" /> - <project name="platform/build" path="build" revision="ed7115c608488c3084e07b7fc74af6219cbfb351" /> + <project name="platform/build" path="build" revision="5efa9192ad9c32d66da51c7b9b7dce85eee59b8a" /> <project name="platform/frameworks/opt/gamesdk" path="gamesdk" revision="42308303ebad8a240ff8fc67c3af342cac89cdad" /> |