diff --git a/HISTORY b/HISTORY index 4ed8584b539e57867069d78257316df2cc9abbf6..67111e26601b0e760523388e19c599bd6530f825 100644 --- a/HISTORY +++ b/HISTORY @@ -1,7 +1,7 @@ ------------------------------------------------------------------------ Release 7.1.3 ------------------------------------------------------------------------ - + Release 7.1.3 (2001-08-15)