From 2c981382c1e9dc9c2608f6c9b52e987166681d72 Mon Sep 17 00:00:00 2001
From: Ricardo Cerqueira <ricardo@cyngn.com>
Date: Wed, 9 Sep 2015 22:47:24 +0100
Subject: [PATCH] android-5.1.1_r6 -> android-5.1.1_r13

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

diff --git a/default.xml b/default.xml
index c066411..8e7d87f 100644
--- a/default.xml
+++ b/default.xml
@@ -4,7 +4,7 @@
   <remote  name="aosp"
            fetch="https://android.googlesource.com"
            review="android-review.googlesource.com"
-           revision="refs/tags/android-5.1.1_r6" />
+           revision="refs/tags/android-5.1.1_r13" />
 
   <remote  name="github"
            fetch=".."