[tz] Proposal to use Asia/Tel_Aviv for Israel - Jerusalem is not internationally recognized as part of Israel

[random832 at fastmail.us]

On Tue, May 7, 2013, at 16:37, Aaron Brown wrote:
> I don't think it's relevant what the rest of the world thinks. If
> everyone in Jerusalem agrees on one reality, and everyone outside
> Jerusalem agrees on a different reality, then it would be logical to
> go with the reality that is agreed upon by those in Jerusalem. It
> matters what time people in Jerusalem think it is, what time their
> clocks show,

Nobody is talking about changing the time definition for Asia/Jerusalem.

This argument is whether a line with "IL" in the first column and
"Asia/Jerusalem" in the third column ought to appear in zone.tab.
Nothing more, nothing less.