On Tue, 20 Oct 2026 at 14:34, Tom Lane <[email protected]> wrote: > I also notice that the win32tzlist.out file that David sent has > differences that seem to amount to comment-line differences, but > I'm not really sure where that data is coming from on the Windows > side.
The comments are coming from the Windows Registry. I can get the comments output by the script to change if I adjust the key values in regedit. There's mention in [1] saying: "We have changed the name of the “Cape Verde Standard Time” time zone to “Cabo Verde Standard Time." The display name for this time zone is now "(GMT-01:00) Cabo Verde Islands."" I guess that will explain the: - /* (UTC-01:00) Cape Verde Is. */ + /* (UTC-01:00) Cabo Verde Is. */ Assume that's what you meant? [1] https://support.microsoft.com/en-us/servicing/os/windows-server/2014/12/december-2014-cumulative-time-zone-update-for-windows-operating-systems David
