[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:

$ git pull https://github.com/isapir/tomcat update-01

Alternatively you can review and apply these changes as the patch at:

https://github.com/apache/tomcat/pull/74.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

This closes #74


commit 3f878e26b32d9ac0d309998fa6a3a30c76757ca9
Author: Igal Sapir 
Date:   2017-10-02T18:12:42Z

added javadoc comment




---

-
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org