On 2024-09-30 16:50, Doug Ewell via tz wrote: > So, basically, the same as Asia/Singapore since 1982. Thanks for the suggestion; I installed the attached change to commentary.