March 16, 2022
2:40 p.m.
On 3/15/22 23:26, Ephraim Silverberg via tz wrote:
Another option would be to just delete the middle letter and use two-letter abbreviations -- e.g. EST/EDT -> ET
As I understand it, POSIX and Internet RFC 8536 both require at least three characters in time zone abbreviations. Of course the standards could be changed, but the corresponding software would need to be changed too.