Given the severity of https://issues.apache.org/bugzilla/show_bug.cgi?id=50957, would it be a good idea to get a 7.0.13 release out soon? 7.0.12 mitigated the issue to a degree, but I'd feel better with a complete fix.
cheers tim --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
