diff options
| author | Tom Lane | 2021-10-02 20:05:10 +0000 |
|---|---|---|
| committer | Tom Lane | 2021-10-02 20:05:10 +0000 |
| commit | ad740067aea5b643ca2f79da086808573d35b5f4 (patch) | |
| tree | 3f4312366789d40e5154fe018784dad360baccc4 /src/tools/git-external-diff | |
| parent | 2b0da0365bec6c62cc9c5c317bab6cbee3d52ef4 (diff) | |
Re-alphabetize the win32_tzmap[] array.
The original intent seems to have been to sort case-insensitively
by the Windows zone name, but various changes over the years did
not get that memo. This commit just moves a few entries to
restore exact alphabetic order, to ease comparison to the outputs
of processing scripts.
Back-patch to all supported branches, as is our usual practice for
time zone data updates.
Discussion: https://postgr.es/m/3266414.1633045628@sss.pgh.pa.us
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions