From 4adc1d688f1966e9288c3094835aa23502758f93 Mon Sep 17 00:00:00 2001
From: Davide Garberi <dade.garberi@gmail.com>
Date: Tue, 5 May 2020 01:05:34 +0200
Subject: [PATCH] manifest: Move from android-10.0.0_r33 to android-10.0.0_r35

Change-Id: I8c5d4f2900e138bf5b1d87426e466d9f0af0aa74
---
 default.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.xml b/default.xml
index 6e01c55c..611d35b3 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"