On Sat, Apr 20, 2013 at 5:14 PM, David Braverman <david@braverman.org> wrote:
Oh, brilliant effort!
Here is more about the Israel territorial history in the zone.tab: Looking at https://github.com/eggert/tz/commit/65a7988fe8b4007023ef2130064421eacd263e4c shows the oldest file having the Gaza Strip as part of Israel +IL +3146+03514 Asia/Jerusalem most locations +IL +3130+03428 Asia/Gaza Gaza Strip it says "Arthur David Olson authored 17 years ago" on the page (2013 - 17 = 1996) Looking at https://github.com/eggert/tz/commit/bd52a52309bafce0766bd8eb13bf6d7875ebd09b shows that Gaza is changed to country code "PS" it says "Arthur David Olson authored 15 years ago" on the page (2013 - 15 = 1998) So, after Gaza has been fixed, Jerusalem could be too. -- Tobias Conradi Rheinsberger Str. 18 10115 Berlin Germany http://tobiasconradi.com