From 82acdb79f610cceac21dd23052b520ba88bde723 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Xos=C3=A9?= <xoseag@pm.me>
Date: Mon, 19 Oct 2026 19:11:24 +0200
Subject: [PATCH] Calendar Lite 1.6: English month and weekday names in English
 mode

They came from the phone's locale, so a phone set to Spanish showed "Octubre 2026" with an
English interface (and I18nTest failed on any machine not set to English).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 AndroidManifest.xml                  | 4 ++--
 android/org/gingercal/GingerApp.java | 2 +-
 src/org/gingercal/L.java             | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/AndroidManifest.xml b/AndroidManifest.xml
index 8a39e48..c509fc6 100644
--- a/AndroidManifest.xml
+++ b/AndroidManifest.xml
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="org.gingercal"
-    android:versionCode="6"
-    android:versionName="1.5">
+    android:versionCode="7"
+    android:versionName="1.6">
 
     <uses-sdk android:minSdkVersion="8" android:targetSdkVersion="10" />
 
diff --git a/android/org/gingercal/GingerApp.java b/android/org/gingercal/GingerApp.java
index 2667f22..fe9662f 100644
--- a/android/org/gingercal/GingerApp.java
+++ b/android/org/gingercal/GingerApp.java
@@ -9,7 +9,7 @@ public class GingerApp extends Application {
         super.onCreate();
         L.gl = !"en".equals(getSharedPreferences("gingercal", 0).getString("lang", "gl"));
         org.gingercal.net.CertVerifier.setRootStore(new org.gingercal.net.AssetRoots(this));
-        org.gingercal.net.Http.USER_AGENT = "CalendarLite/1.5 (Android 2.3)";
+        org.gingercal.net.Http.USER_AGENT = "CalendarLite/1.6 (Android 2.3)";
         tlsTexts();
     }
 
diff --git a/src/org/gingercal/L.java b/src/org/gingercal/L.java
index 0202380..5bd421c 100644
--- a/src/org/gingercal/L.java
+++ b/src/org/gingercal/L.java
@@ -42,7 +42,7 @@ public final class L {
     static final String[] GL_DAYS_SHORT = {"", "dom", "lun", "mar", "mér", "xov", "ven", "sáb"};
 
     public static DateFormatSymbols symbols() {
-        if (!gl) return new DateFormatSymbols(Locale.getDefault());
+        if (!gl) return new DateFormatSymbols(Locale.US);   // English names, whatever the phone's language
         DateFormatSymbols s = new DateFormatSymbols(Locale.US);
         s.setMonths(GL_MONTHS);
         s.setShortMonths(GL_MONTHS_SHORT);