diff options
author | The Android Open Source Project <initial-contribution@android.com> | 2017-05-01 15:20:30 -0700 |
---|---|---|
committer | The Android Open Source Project <initial-contribution@android.com> | 2017-05-01 15:20:30 -0700 |
commit | 0e7340ddc5b6f50a03a28e6274e7114d48df3a0d (patch) | |
tree | 284de3e9deea64ab550f1d7a8aa3c9b8b67bccf6 | |
parent | 3c5146ad1449f8fcc3583b3dbc824fbaf6059752 (diff) | |
download | manifest-android-7.1.2_r10.tar.gz |
Manifest for Android 7.1.2 Release 10android-7.1.2_r10android-7.1.2_r10
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 876809fbf..dc6c3620d 100644 --- a/default.xml +++ b/default.xml @@ -4,7 +4,7 @@ <remote name="aosp" fetch=".." review="https://android-review.googlesource.com/" /> - <default revision="refs/tags/android-7.1.2_r9" + <default revision="refs/tags/android-7.1.2_r10" remote="aosp" sync-j="4" /> |