From 53f530d4dde4bb4156b2ebd1a97fdaf314b7c5b4 Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Wed, 15 Aug 2001 19:24:55 +0000 Subject: [PATCH] update --- HISTORY | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HISTORY b/HISTORY index 4ed8584b53..67111e2660 100644 --- a/HISTORY +++ b/HISTORY @@ -1,7 +1,7 @@ ------------------------------------------------------------------------ Release 7.1.3 ------------------------------------------------------------------------ - + Release 7.1.3 (2001-08-15) -- 2.40.0