From 65556ae87a54869fe64f224c2b269a2db93e0be5 Mon Sep 17 00:00:00 2001
From: Jonathan Pryor <jonpryor@vt.edu>
Date: Mon, 13 Aug 2018 15:23:02 -0400
Subject: [PATCH] Bump to xamarin/xamarin-android-tools:master@3ef860b7

Fixes: http://work.devdiv.io/661401
Context: https://github.com/xamarin/xamarin-android/pull/2004#issuecomment-410243364
---
 external/xamarin-android-tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/xamarin-android-tools b/external/xamarin-android-tools
index 917d3b3ce45..3ef860b7256 160000
--- a/external/xamarin-android-tools
+++ b/external/xamarin-android-tools
@@ -1 +1 @@
-Subproject commit 917d3b3ce455eed6a4a0e4271d34661bdf0b261d
+Subproject commit 3ef860b7256def2c58ccf4f99c2c828bf41148af