Update 7.3.1 to give proper attribution to pg_dump item.

diff --git a/HISTORY b/HISTORY
index b461c79f0c466a9d63be1cef018a28be5e773082..73b57debfc06de23cb2790366b7d5e5df9713356 100644 (file)
--- 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)

diff --git a/doc/src/sgml/release.sgml b/doc/src/sgml/release.sgml
index 6fc3d2a9289449a3bd410b4659a3b7dfac0b97c3..7ea5b1ec2603feb6635dfdf7603821078f41c5c4 100644 (file)
--- a/doc/src/sgml/release.sgml
+++ b/doc/src/sgml/release.sgml
@@ -1,5 +1,5 @@
 <!--
-$Header: /cvsroot/pgsql/doc/src/sgml/release.sgml,v 1.163.2.6 2002/12/18 23:38:08 petere Exp $
+$Header: /cvsroot/pgsql/doc/src/sgml/release.sgml,v 1.163.2.7 2002/12/20 00:24:29 momjian Exp $
 -->
 
 <appendix id="release">
@@ -37,7 +37,7 @@ $Header: /cvsroot/pgsql/doc/src/sgml/release.sgml,v 1.163.2.6 2002/12/18 23:38:0
 <literallayout>
 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)