diff --git a/doc/devel/release.html b/doc/devel/release.html index 4ce3d37c19..d6de1d71ce 100644 --- a/doc/devel/release.html +++ b/doc/devel/release.html @@ -104,6 +104,12 @@ a new option.

+

+r60.2 +fixes +a memory leak involving maps. +

+

r59 (released 2011/08/01)