mirror of
https://github.com/postgres/postgres.git
synced 2026-05-26 18:41:28 -04:00
96b85f1ccb
type time with time zone, ie, +/- 13:59 not +/- 12:00. Also some minor wording improvements.