[tz] Jordan back from DST - reverting to UTC+2

[Paul Eggert]

Thanks for the heads-up.  I'm inclined to guess that the December
20 transition will be at midnight standard time, not midnight DST,
as that's been their common pattern for fall-back transitions.
It's a guess either way, of course, but here's a proposed patch.
I've pushed this to the experimental github repository.

Sounds like it's time for a new release soon.

>From ed8f3bd6d28689369c7632bf758b0d11ff77f343 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert at cs.ucla.edu>
Date: Wed, 11 Dec 2013 11:30:51 -0800
Subject: [PATCH] Asia/Amman: Jordan reverts to standard time on Dec. 20

* asia (Jordan, Asia/Amman): Jordan switches back to standard time
on 2013-12-20.  (Thanks to Steffen Thorsen.)  Assume this is at
00:00s, and that the previous schedule resumes next year.
* NEWS: Document this.
---
 NEWS |  7 +++++++
 asia | 29 ++++++++++++++++++++---------
 2 files changed, 27 insertions(+), 9 deletions(-)

diff --git a/NEWS b/NEWS
index 0734458..646c320 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,13 @@ News for the tz database
 
 Unreleased, experimental changes
 
+  Changes affecting near-future time stamps:
+
+    Jordan switches back to standard time on December 20 of this year.
+    (Thanks to Steffen Thorsen.)  Guess that this transition is at 01:00
+    (i.e., midnight standard time), and that the 2006-2011 transition
+    schedule will resume next year.
+
   Changes affecting past time stamps:
 
     In 2004, Cuba began DST on March 28, not April 4.
diff --git a/asia b/asia
index 580a179..57e80ca 100644
--- a/asia
+++ b/asia
@@ -1380,12 +1380,21 @@ Zone    Asia/Tokyo    9:18:59    -    LMT    1887 Dec 31 15:00u
 # switch back to standard time this winter, so the will stay on DST
 # until about the same time next year (at least).
 # http://www.petra.gov.jo/Public_News/Nws_NewsDetails.aspx?NewsID=88950
-#
-# From Paul Eggert (2013-09-21):
-# It's looking like this change will be permanent; see
-# Petra News Agency, Cancelling winter saved Jordan $7 million (2013-02-20)
-# <http://www.albawaba.com/business/jordan-winter-electricity--472005>.
-# So move Jordan to UTC+3 as of the abovementioned date.
+
+# From Steffen Thorsen (2013-12-11):
+# Jordan Times and other sources say that Jordan is going back to
+# UTC+2 on 2013-12-19 at midnight:
+# http://jordantimes.com/govt-decides-to-switch-back-to-wintertime
+# Official, in Arabic:
+# http://www.petra.gov.jo/public_news/Nws_NewsDetails.aspx?Menu_ID=&Site_Id=2&lang=1&NewsID=133230&CatID=14
+# ... Our background/permalink about it
+# http://www.timeanddate.com/news/time/jordan-reverses-dst-decision.html
+
+# From Paul Eggert (2013-12-11):
+# Assume that this month's transition is at midnight standard time,
+# since that's been the recent pattern for fall-back transitions.
+# Also, guess that the schedule for 2014 on will be the same as 2006-2011.
+# And as Steffen suggested, consider the past 21-month experiment to be DST.
 
 # Rule    NAME    FROM    TO    TYPE    IN    ON    AT    SAVE    LETTER/S
 Rule    Jordan    1973    only    -    Jun    6    0:00    1:00    S
@@ -1415,11 +1424,13 @@ Rule    Jordan    2002    2012    -    Mar    lastThu    24:00    1:00    S
 Rule    Jordan    2003    only    -    Oct    24    0:00s    0    -
 Rule    Jordan    2004    only    -    Oct    15    0:00s    0    -
 Rule    Jordan    2005    only    -    Sep    lastFri    0:00s    0    -
-Rule    Jordan    2006    2012    -    Oct    lastFri    0:00s    0    -
+Rule    Jordan    2006    2011    -    Oct    lastFri    0:00s    0    -
+Rule    Jordan    2013    only    -    Dec    20    0:00s    0    -
+Rule    Jordan    2014    max    -    Mar    lastThu    24:00    1:00    S
+Rule    Jordan    2014    max    -    Oct    lastFri    0:00s    0    -
 # Zone    NAME        GMTOFF    RULES    FORMAT    [UNTIL]
 Zone    Asia/Amman    2:23:44 -    LMT    1931
-            2:00    Jordan    EE%sT    2012 Oct 26 0:00s
-            3:00    -    AST
+            2:00    Jordan    EE%sT
 
 
 # Kazakhstan
-- 
1.8.3.1