From 4b5638e4f0fca1a4aa24964fee26831e46e5a2b9 Mon Sep 17 00:00:00 2001 From: darken Date: Mon, 11 Sep 2023 20:12:57 +0200 Subject: [PATCH] Hide bug reporting setting (but lets keep the setting ID because if we re-add we might use the setting state again). --- app/src/main/res/xml/preferences_support.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/app/src/main/res/xml/preferences_support.xml b/app/src/main/res/xml/preferences_support.xml index c1aef0ae..bc0aa382 100644 --- a/app/src/main/res/xml/preferences_support.xml +++ b/app/src/main/res/xml/preferences_support.xml @@ -28,6 +28,7 @@