summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2001-08-15 19:32:33 +0000
committerBruce Momjian2001-08-15 19:32:33 +0000
commit8572fadfd1b49c0dd7afc5ef5e52917fad2d1f2e (patch)
tree3c699ded29242a31618b532b846b85ddb39468f7
parent3ac8aea3e3f3c2b638faeace130b9b789b476616 (diff)
update
-rw-r--r--HISTORY2
1 files changed, 1 insertions, 1 deletions
diff --git a/HISTORY b/HISTORY
index ccd757d1361..d1933448af4 100644
--- a/HISTORY
+++ b/HISTORY
@@ -1,7 +1,7 @@
------------------------------------------------------------------------
Release 7.1.3
------------------------------------------------------------------------
-
+
Release 7.1.3 (2001-08-15)