doc: adjust time zone names text

Reported-by: Kevin 
Discussion: https://postgr.es/m/154082462281.30897.14043119084654378035@wrigleys.postgresql.org

Backpatch-through: 9.4

diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml
index a7eafc471f9e6c61b3ff03fcbd4f8dcc4d2d2293..d174d16aac01e19d269276464029d34a1c3c99dd 100644 (file)
--- a/doc/src/sgml/datatype.sgml
+++ b/doc/src/sgml/datatype.sgml
@@ -2437,7 +2437,7 @@ January 8 04:05:06 1999 PST
         linkend="view-pg-timezone-names">).
         PostgreSQL uses the widely-used IANA
         time zone data for this purpose, so the same time zone
-        names are also recognized by much other software.
+        names are also recognized other software.