From 97d63cef6b83ca4f40ee7dca148fe48c56ced851 Mon Sep 17 00:00:00 2001
From: misaochan <josephinelim86@gmail.com>
Date: Thu, 21 Jun 2018 17:50:44 +1000
Subject: [PATCH] Added comment in place of allowGps key

---
 app/src/main/res/xml/preferences.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml
index ccba24531..8fc5524a2 100644
--- a/app/src/main/res/xml/preferences.xml
+++ b/app/src/main/res/xml/preferences.xml
@@ -38,6 +38,9 @@
 
     </PreferenceCategory>
 
+    <!-- The key 'allowGps' was used before and has since been removed based on the discussion at #1599.
+          Do not reuse this key unless you revive the same feature with the changes mentioned at #1599.-->
+
     <PreferenceCategory
         android:title="@string/preference_category_feedback">