summaryrefslogtreecommitdiff
path: root/HISTORY
diff options
context:
space:
mode:
authorBruce Momjian2002-12-20 00:24:29 +0000
committerBruce Momjian2002-12-20 00:24:29 +0000
commit96bce9f689073919ae727b72f143ab04857b89e4 (patch)
tree3786ab622ae3e69168777f4c9e237709f44e5b9d /HISTORY
parent9e04de0e8dae63ec4dd71e07854228ad92b67999 (diff)
Update 7.3.1 to give proper attribution to pg_dump item.
Diffstat (limited to 'HISTORY')
-rw-r--r--HISTORY2
1 files changed, 1 insertions, 1 deletions
diff --git a/HISTORY b/HISTORY
index b461c79f0c4..73b57debfc0 100644
--- a/HISTORY
+++ b/HISTORY
@@ -20,7 +20,7 @@ Changes
Fix a core dump of COPY TO when client/server encodings don't match
(Tom)
- Allow pg_dump to work with pre-7.2 servers (Tom)
+ Allow pg_dump to work with pre-7.2 servers (Philip)
contrib/adddepend fixes (Tom)
Fix problem with deletion of per-user/per-database config settings
(Tom)