Oct. 31, 2016
4:50 p.m.
On Sunday, October 30 2016, "Paul Eggert" wrote to "Even Scharning, Time Zone Mailing List" saying:
Even Scharning wrote:
Looks like the time zone split in Cyprus went through last night.
Thanks for mentioning this. I guess the UN peacekeeping effort didn't work out. I installed the attached proposed patch, which re-adds a new zone for North Nicosia. It's time for a new release, but I'll wait for a day or so in case there are further developments or corrections. In the meantime northern Cypriots can use TZ=Asia/Istanbul.
Since there is a Europe/Nicosia link, presumably there should be a Europe/North_Nicosia link as well? -- Jonathan Lennox lennox@cs.columbia.edu