[tz] [PROPOSED 2/3] Omit tiny 1880 change in Dublin

[Paul Eggert]

* europe (Europe/Dublin): Don’t imply that people changed their
clocks by 21 seconds on 1880-08-02, as they surely didn’t.
Instead, change the LMT approximation before then to be the
same as DMT after then, which is what we do elsewhere
(e.g., Europe/Paris).
---
 europe | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/europe b/europe
index e134efae..ec7ac5c6 100644
--- a/europe
+++ b/europe
@@ -538,7 +538,7 @@ Rule	Eire	1990	1995	-	Oct	Sun>=22	 1:00u	-1:00	-
 Rule	Eire	1996	max	-	Oct	lastSun	 1:00u	-1:00	-
 
 # Zone	NAME		STDOFF	RULES	FORMAT	[UNTIL]
-Zone	Europe/Dublin	-0:25:00 -	LMT	1880 Aug  2
+Zone	Europe/Dublin	-0:25:21 -	LMT	1880 Aug  2
 			-0:25:21 -	DMT	1916 May 21  2:00s
 			-0:25:21 1:00	IST	1916 Oct  1  2:00s
 			 0:00	GB-Eire	%s	1921 Dec  6 # independence
-- 
2.34.1