So 1.7.2 will be the same source code as 1.7.1, but with a packaging failure fixed.
The release is expected to happen either later today or tomorrow. Best regards, Rainer --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org