tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From isapir <>
Subject [GitHub] tomcat pull request #74: added javadoc comment
Date Mon, 02 Oct 2017 18:14:33 GMT
GitHub user isapir opened a pull request:

    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 update-01

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

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:
For additional commands, e-mail:

View raw message