diff options
| author | Davide Garberi <dade.garberi@gmail.com> | 2020-05-05 01:05:34 +0200 |
|---|---|---|
| committer | Luca Stefani <luca.stefani.ge1@gmail.com> | 2020-05-05 20:20:57 +0200 |
| commit | 4adc1d688f1966e9288c3094835aa23502758f93 (patch) | |
| tree | 7e694282e71deda004b01b803b3ab256431c3458 | |
| parent | b6cea84cff4af0eef9deb8917d5f1e9521ef051a (diff) | |
| download | manifest-4adc1d688f1966e9288c3094835aa23502758f93.tar.gz manifest-4adc1d688f1966e9288c3094835aa23502758f93.tar.bz2 manifest-4adc1d688f1966e9288c3094835aa23502758f93.zip | |
manifest: Move from android-10.0.0_r33 to android-10.0.0_r35
Change-Id: I8c5d4f2900e138bf5b1d87426e466d9f0af0aa74
| -rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 6e01c55..611d35b 100644 --- a/default.xml +++ b/default.xml @@ -11,7 +11,7 @@ <remote name="aosp" fetch="https://android.googlesource.com" review="android-review.googlesource.com" - revision="refs/tags/android-10.0.0_r33" /> + revision="refs/tags/android-10.0.0_r35" /> <default revision="refs/heads/lineage-17.1" remote="github" |