hm, why isn't SGT in the default timezone abbreviations list?

According to the zic database, SGT is the recognized abbreviation for
Singapore time, and there are no other conflicting uses. I wonder why
it isn't in either the Default or Asia lists ...

regards, tom lane