Обсуждение: 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