May 26, 2016
2:15 a.m.
On May 26, 2016, at 2:08 AM, Guy Harris <guy@alum.mit.edu> wrote:
It looks as if there's no daylight savings time, so only one abbreviation is necessary.
Oops, no, it had DST from 1991 to 2014, and flipped between time zones, so multiple abbreviations are necessary. Do you have enough of a consensus that {OMST, OMS{S,D}T, KRAT} are something we can go with as "not inventions of the tzdb maintainers"?