Dec. 15, 2017
11:58 a.m.
On 2017-12-15 12:47:00 (+0100), Phake Nick wrote:
But in the context of tz database, if in case such campaign have been launched and most media as well as other usages do switch over to new name, will tz database follow such rename? As I understand one of the principle in tz database zone name is that names act as key and thus won't easily be renamed. Would such renaming break anything if it do occur?
We can keep a link to the previous name of the timezone in backzone. Philip -- Philip Paeps Senior Reality Engineer Ministry of Information