Venezuela Time now means UTC-4:30, not UTC-4:00. Adjust our treatment

of "VET" accordingly.  Per bug #3997 from Aaron Mizrachi.

src/timezone/tznames/America.txt

@@ -4,7 +4,7 @@
 #   a template for timezones you could need.  See the `Date/Time Support'
 #   appendix in the PostgreSQL documentation for more information.
 #
-# $PostgreSQL: pgsql/src/timezone/tznames/America.txt,v 1.3 2008/01/02 21:42:00 tgl Exp $
+# $PostgreSQL: pgsql/src/timezone/tznames/America.txt,v 1.4 2008/03/02 00:10:22 tgl Exp $
 #
 
 # Acre time is sometimes called Acre Standard Time (AST) which leads to a
@@ -296,7 +296,7 @@ SRT    -10800    # Suriname Time
                  #     (America/Paramaribo)
 UYST    -7200 D  # Uruguay Summer Time (not in zic)
 UYT    -10800    # Uruguay Time (not in zic)
-VET    -14400    # Venezuela Time
+VET    -16200    # Venezuela Time (caution: this used to mean -14400)
                  #     (America/Caracas)
 WGST    -7200 D  # Western Greenland Summer Time
                  #     (America/Godthab)

src/timezone/tznames/Default

@@ -4,7 +4,7 @@
 # timezone_abbreviations to 'Default'.  See the `Date/Time Support'
 # appendix in the PostgreSQL documentation for more information.
 #
-# $PostgreSQL: pgsql/src/timezone/tznames/Default,v 1.4 2008/01/02 21:42:00 tgl Exp $
+# $PostgreSQL: pgsql/src/timezone/tznames/Default,v 1.5 2008/03/02 00:10:22 tgl Exp $
 
 
 #################### AFRICA ####################
@@ -224,7 +224,7 @@ PYT    -14400    # Paraguay Time
                  #     (America/Asuncion)
 UYST    -7200 D  # Uruguay Summer Time (not in zic)
 UYT    -10800    # Uruguay Time (not in zic)
-VET    -14400    # Venezuela Time
+VET    -16200    # Venezuela Time (caution: this used to mean -14400)
                  #     (America/Caracas)
 WGST    -7200 D  # Western Greenland Summer Time
                  #     (America/Godthab)