From 998cebc4dbe837b8766cdaf913462058db2ced27 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Mon, 1 Oct 2001 15:44:45 +0000
Subject: [PATCH] Update to "7.2".

---
 HISTORY | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HISTORY b/HISTORY
index b9ef18b4f36..5e7d0ac2290 100644
--- 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
-- 
GitLab