From c121efff7ef9b1c99db7cca15789b5ed1fd560cf Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Tue, 4 Dec 2001 20:25:01 +0000
Subject: [PATCH] Update possible release date 2001-12-??

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

diff --git a/HISTORY b/HISTORY
index fb00ccda12..f3c1d693d3 100644
--- a/HISTORY
+++ b/HISTORY
@@ -3,7 +3,7 @@
   ------------------------------------------------------------------------
 
 
-Release 7.2  (2001-??-??)
+Release 7.2  (2001-12-??)
 
 
 This release improved PostgreSQL for use in high volume applications.