diff options
author | The Android Open Source Project <initial-contribution@android.com> | 2017-07-05 15:19:45 -0700 |
---|---|---|
committer | The Android Open Source Project <initial-contribution@android.com> | 2017-07-05 15:19:45 -0700 |
commit | 0575e9f9fb73d11c91920df260646e9ef7ede23b (patch) | |
tree | 1d3f8cd942221b7a737ee638fd8d2bbcd2431ac4 | |
parent | d456b661467b80bf2c3843b8496c286b399e2881 (diff) | |
download | manifest-0575e9f9fb73d11c91920df260646e9ef7ede23b.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 d8f6005af..89fb28d3a 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" /> |