4.1.13 release date?

[Neil Barton]

Hi,

We have encountered bug # 13015, while running on Tomcat 4.1.12.  According
to the bug database this has been fixed in release 4.1.13.  Does anyone know
when this release will be made available?

Thanks

Neil