From 50ee88fbc74f2f7db6460c7ff9b21a4e96347127 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Thu, 23 Jan 2014 18:59:35 +0100
Subject: [PATCH] Update AndroidPinning, get rid of -t android-17

---
 ant-prepare.sh        | 2 +-
 extern/AndroidPinning | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ant-prepare.sh b/ant-prepare.sh
index 7de7d1df7..7817f4ed2 100755
--- a/ant-prepare.sh
+++ b/ant-prepare.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -ex
 
 android update lib-project -p extern/Universal-Image-Loader/library
-android update lib-project -p extern/AndroidPinning -t android-17
+android update lib-project -p extern/AndroidPinning
 android update lib-project -p extern/MemorizingTrustManager
 android update project -p . --name F-Droid
diff --git a/extern/AndroidPinning b/extern/AndroidPinning
index 1f23fa382..5cfc3f51d 160000
--- a/extern/AndroidPinning
+++ b/extern/AndroidPinning
@@ -1 +1 @@
-Subproject commit 1f23fa382377302152d2560ba732c1d5873a971c
+Subproject commit 5cfc3f51dc9437577c1ded7cb5bca48b95eea131