Feb. 28, 2019
12:50 a.m.
On 2019-02-28 14:45:42 (+0900), Brian Inglis wrote:
Changing tz ids from location names to numbers just means you need comments describing the locations in the time zone to which it applies, and the arguments become about the commentary instead of the ids, so you can never totally avoid the issues.
I think I prefer the discussions on this mailing list to the pain of having to deal with numeric identifiers. The discussions, while tedious and repetitive, are invariably mostly civil and short-lived. Opaque identifiers would be a pain forever. Philip -- Philip Paeps Senior Reality Engineer Ministry of Information