Github user isapir commented on the issue:
https://github.com/apache/tomcat/pull/80
I imagine that this was opened by accident and should be closed by anyone
with permissions (including the OP)--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
