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 adc779d08ecfc9aec96413f1f03a6c72fd0fa1b3..d50a9b1a26516ceb0f2177dffdc9b9e5f1b7b618 100644 (file)
--- a/doc/src/sgml/datatype.sgml
+++ b/doc/src/sgml/datatype.sgml
@@ -2419,7 +2419,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.