Update to "7.2".

diff --git a/HISTORY b/HISTORY
index b9ef18b4f36866aed88f40ef7118f55dced53c83..5e7d0ac2290c42410e6c4c5061fa7451f5bd358e 100644 (file)
--- a/HISTORY
+++ b/HISTORY
@@ -31,7 +31,7 @@ authentication option is available on Linux and *BSD systems.
 statistics module to get fine-grained information about table and index
 usage.
 
-Migration to 7.1
+Migration to 7.2
 
    A dump/restore using pg_dump is required for those wishing to migrate
    data from any previous release.  One significant change is that