Added MIUI notification sound workaround

2026-01-05 12:24:26 +01:00 · 2019-09-14 10:50:47 +02:00
parent 0205df9274
commit 20581f5ce1
6 changed files with 35 additions and 4 deletions
--- a/app/src/main/java/eu/faircode/email/Log.java
+++ b/app/src/main/java/eu/faircode/email/Log.java
@@ -837,4 +837,8 @@ public class Log {

        return true;
    }
+
+    static boolean isXiaomi() {
+        return "Xiaomi".equalsIgnoreCase(Build.MANUFACTURER);
+    }
 }