From 38eb8349f1420bccedba699e31e25536e186e444 Mon Sep 17 00:00:00 2001
From: Luca Stefani <luca.stefani.ge1@gmail.com>
Date: Tue, 5 Feb 2019 09:06:13 +0100
Subject: [PATCH] manifest: android-9.0.0_r30 -> android-9.0.0_r31

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

diff --git a/default.xml b/default.xml
index e25770e4..1f3847f2 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-9.0.0_r30" />
+           revision="refs/tags/android-9.0.0_r31" />
 
   <default revision="refs/heads/lineage-16.0"
            remote="github"