From 90d22053735fabcc9064bae5cffd8bcb36aca971 Mon Sep 17 00:00:00 2001
From: Dan Pasanen <dan.pasanen@gmail.com>
Date: Mon, 5 Jun 2017 18:09:15 -0500
Subject: [PATCH] manifest: android-7.1.2_r8 -> android-7.1.2_r17

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

diff --git a/default.xml b/default.xml
index 191b70e..0e46f65 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-7.1.2_r8" />
+           revision="refs/tags/android-7.1.2_r17" />
 
   <default revision="refs/heads/cm-14.1"
            remote="github"