[GitHub] tomcat pull request #80: add

Github user hashman8433 closed the pull request at: https://github.com/apache/tomcat/pull/80 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #80: add

GitHub user hashman8433 opened a pull request: https://github.com/apache/tomcat/pull/80 add You can merge this pull request into a Git repository by running: $ git pull https://github.com/hashman8433/tomcat trunk Alternatively you can review and apply these changes as the pat