BUG #9374: some timzone abbver is missing from pg_timezone_abbrevs that are in pg_timezone_names

The following bug has been logged on the website:

Bug reference: 9374
Logged by: Mark Sloan
Email address: mark(dot)a(dot)sloan(at)gmail(dot)com
PostgreSQL version: 9.3.3
Operating system: CentOS 6.5
Description:

postgres=# SELECT * FROM pg_timezone_names where abbrev = 'WIB' ;
name | abbrev | utc_offset | is_dst
----------------------+--------+------------+--------
posix/Asia/Pontianak | WIB | 07:00:00 | f
posix/Asia/Jakarta | WIB | 07:00:00 | f
Asia/Pontianak | WIB | 07:00:00 | f
Asia/Jakarta | WIB | 07:00:00 | f
(4 rows)

postgres=# SELECT * FROM pg_timezone_abbrevs where abbrev = 'WIB' ;
abbrev | utc_offset | is_dst
--------+------------+--------
(0 rows)

using PGDG rpms.

postgresql-server-9.2.7, or 9.3.3
tzdata-2013i-2

I am not sure if "ALL" of these are supposed to be in pg_timezone_abbrevs.

here is the missing ones.

abbrev
--------
AQTT
CAT
CHOT
CVT
CWST
ChST
ECT
GMT+1
GMT+10
GMT+11
GMT+12
GMT+2
GMT+3
GMT+4
GMT+5
GMT+6
GMT+7
GMT+8
GMT+9
GMT-1
GMT-10
GMT-11
GMT-12
GMT-13
GMT-14
GMT-2
GMT-3
GMT-4
GMT-5
GMT-6
GMT-7
GMT-8
GMT-9
GST
HAST
HOVT
IRST
MIST
MeST
NCT
NRT
ORAT
QYZT
ROTT
SAKT
SAMT
SBT
SRT
SST
SYOT
TLT
VOST
WIB
WIT
WITA
WSDT
WST
(57 rows)

the WIB one is giving me grief, I am going to push that we convert to always
using timezone names rather than abbreviations, but this looked odd to me.