[tz] [PROPOSED 2/7] Be more consistent about double DST abbr

[Paul Eggert]

* europe (Spain): Use WEMT, not WEDST, for double DST in 1938, as
this is more consistent with abbreviations used in old timestamps
in France and Portugal.
---
 europe | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/europe b/europe
index 22bf1d7..558b9f1 100644
--- a/europe
+++ b/europe
@@ -3286,7 +3286,7 @@ Rule	Spain	1929	only	-	Apr	20	23:00	1:00	S
 Rule	Spain	1937	only	-	Jun	16	23:00	1:00	S
 Rule	Spain	1937	only	-	Oct	 2	24:00s	0	-
 Rule	Spain	1938	only	-	Apr	 2	23:00	1:00	S
-Rule	Spain	1938	only	-	Apr	30	23:00	2:00	DS
+Rule	Spain	1938	only	-	Apr	30	23:00	2:00	M
 Rule	Spain	1938	only	-	Oct	 2	24:00	1:00	S
 # The following rules are for unified Spain again.
 #
-- 
2.9.3