diff options
author | The Android Open Source Project <initial-contribution@android.com> | 2017-07-05 14:52:31 -0700 |
---|---|---|
committer | The Android Open Source Project <initial-contribution@android.com> | 2017-07-05 14:52:31 -0700 |
commit | 82761f69056b5164ff460a86ba53906f6f721dcf (patch) | |
tree | d2875818a5bf2992b48222dd78bd13b125bb7527 | |
parent | e714502aae4bb16627f14295c94cfccbce5f846d (diff) | |
download | manifest-android-7.1.2_r19.tar.gz |
Manifest for Android 7.1.2 Release 19android-7.1.2_r19
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 626713b1c..43e99aa0d 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_r18" + <default revision="refs/tags/android-7.1.2_r19" remote="aosp" sync-j="4" /> |