[GitHub] tomcat pull request #97: Bz48672

2018-02-07 Thread markt-asf
Github user markt-asf closed the pull request at: https://github.com/apache/tomcat/pull/97 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #97: Bz48672

2018-02-07 Thread m-czernek
GitHub user m-czernek opened a pull request: https://github.com/apache/tomcat/pull/97 Bz48672 Providing documentation patch for the https://bz.apache.org/bugzilla/show_bug.cgi?id=48672 bugzilla (and removing the TODO from the HTML interface). Feel free to suggest any