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)