[GitHub] tomcat pull request #74: added javadoc comment

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

[GitHub] tomcat pull request #74: added javadoc comment

2017-10-02 Thread isapir
GitHub user isapir opened a pull request: https://github.com/apache/tomcat/pull/74 added javadoc comment Took me a few minutes to figure out what the method is doing (and how) so added a JavaDoc comment to clarify. You can merge this pull request into a Git repository by running: