Add MUST (Mauritius Island Summer Time) to the list of known abbreviations.

hlinnaka · hlinnaka · commit 5d6f43bbeba3 · 2009-03-05T14:27:50.000Z
Mauritius began using DST in the summer 2008-2009; the Olson library has been
updated already.

Xavier Bugaud
diff --git a/src/timezone/tznames/Default b/src/timezone/tznames/Default
@@ -4,7 +4,7 @@
 # timezone_abbreviations to 'Default'.  See the `Date/Time Support'
 # appendix in the PostgreSQL documentation for more information.
 #
-# $PostgreSQL: pgsql/src/timezone/tznames/Default,v 1.6 2008/05/01 20:05:08 tgl Exp $
+# $PostgreSQL: pgsql/src/timezone/tznames/Default,v 1.7 2009/03/05 14:27:50 heikki Exp $
 
 
 #################### AFRICA ####################
@@ -640,6 +640,8 @@ IOT     21600    # British Indian Ocean Territory (Chagos) (there was a timezone
                  #     (Indian/Chagos)
 MUT     14400    # Mauritius Island Time
                  #     (Indian/Mauritius)
+MUST    18000 D  # Mauritius Island Summer Time
+                 #     (Indian/Mauritius)
 MVT     18000    # Maldives Island Time
                  #     (Indian/Maldives)
 RET     14400    # Reunion Time
diff --git a/src/timezone/tznames/Indian.txt b/src/timezone/tznames/Indian.txt
@@ -4,7 +4,7 @@
 #   a template for timezones you could need.  See the `Date/Time Support'
 #   appendix in the PostgreSQL documentation for more information.
 #
-# $PostgreSQL: pgsql/src/timezone/tznames/Indian.txt,v 1.2 2006/07/25 13:49:21 tgl Exp $
+# $PostgreSQL: pgsql/src/timezone/tznames/Indian.txt,v 1.3 2009/03/05 14:27:50 heikki Exp $
 #
 
 CCT     23400    # Cocos Islands Time (Indian Ocean)
@@ -27,6 +27,8 @@ IOT     21600    # British Indian Ocean Territory (Chagos) (there was a timezone
                  #     (Indian/Chagos)
 MUT     14400    # Mauritius Island Time
                  #     (Indian/Mauritius)
+MUST    18000 D  # Mauritius Island Summer Time
+                 #     (Indian/Mauritius)
 MVT     18000    # Maldives Island Time
                  #     (Indian/Maldives)
 RET     14400    # Reunion Time
