Re: [tz] Israel Daylight Saving Time -- Proposed Changes [2013 and beyond]

July 3, 2013


      Thanks, I've pushed this into the experimental version on github
and plan to make it part of the next release.

Paul Eggert