From 4000ea35321561880015462d4135d7dc9c68ede4 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 1 Aug 2022 14:49:01 -0700
Subject: [PROPOSED 1/2] Simplify subseconds for Asia/Jakarta
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* asia (Asia/Jakarta): Use UT for transition time, for consistency
with the recent “Simplify subsecond precision handling” patch.
Problem reported by Michael Deckers.
---
 asia | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/asia b/asia
index f481f399..1fd1c3e8 100644
--- a/asia
+++ b/asia
@@ -1373,7 +1373,7 @@ Zone	Asia/Kolkata	5:53:28 -	LMT	1854 Jun 28 # Kolkata
 Zone Asia/Jakarta	7:07:12 -	LMT	1867 Aug 10
 # Shanks & Pottenger say the next transition was at 1924 Jan 1 0:13,
 # but this must be a typo.
-			7:07:12	-	BMT	1923 Dec 31 23:47:12 # Batavia
+			7:07:12	-	BMT	1923 Dec 31 16:40u # Batavia
 			7:20	-	+0720	1932 Nov
 			7:30	-	+0730	1942 Mar 23
 			9:00	-	+09	1945 Sep 23
-- 
2.34.1

