Debug info: DNS settings

app/build.gradle

@@ -24,9 +24,9 @@ android {
     // https://apilevels.com/
     defaultConfig {
         applicationId "eu.faircode.email"
-        compileSdk 34
+        compileSdk 35
         minSdkVersion 21
-        targetSdkVersion 34
+        targetSdkVersion 35
         //targetSdkPreview "VanillaIceCream"
         versionCode getVersionCode()
         versionName "1." + getVersionCode()

app/src/main/java/eu/faircode/email/DebugHelper.java

@@ -1168,6 +1168,10 @@ public class DebugHelper {
                 size += write(os, "cert_transparency=" + cert_transparency + (cert_transparency ? " !!!" : "") + "\r\n");
                 size += write(os, "open_safe=" + open_safe + "\r\n");
 
+                for (String key : prefs.getAll().keySet())
+                    if (key.startsWith("dns_"))
+                        size += write(os, key + "=" + prefs.getAll().get(key)+"\r\n");
+
                 size += write(os, "\r\n");
                 size += write(os, Log.getCiphers().toString());