[GitHub] tomcat pull request #74: added javadoc comment
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
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: