[Valgrind-developers] docs/xml/vg-entities.xml and the Valgrind 3.3.1 release

[Bart V. A. <bar...@gm...>]

I found the following in file docs/xml/vg-entities.xml:

<!-- valgrind release + version stuff -->
<!ENTITY rel-type    "Release">
<!ENTITY rel-version "3.3.0">
<!ENTITY rel-date    "7 December 2007">

Apparently this information has not been updated for the 3.3.1 release ?

Bart.