From 3d3f0b25b37ffdfcb4b6da881ac4d0afe32a4d7b Mon Sep 17 00:00:00 2001
From: xplodwild <xplod@ouverta.fr>
Date: Tue, 22 Oct 2013 23:45:47 +0200
Subject: [PATCH] default: Use android 4.3.1

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

diff --git a/default.xml b/default.xml
index 8ab7195..bd726ac 100644
--- a/default.xml
+++ b/default.xml
@@ -15,7 +15,7 @@
            review="gerrit.omnirom.org"
            fetch="https://github.com/omnirom" />
 
-  <default revision="refs/tags/android-4.3_r3.1"
+  <default revision="refs/tags/android-4.3.1_r1"
            remote="aosp"
            sync-j="4" />