tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Humbedooh <>
Subject [GitHub] tomcat pull request: Update service.bat
Date Mon, 24 Feb 2014 12:47:56 GMT
Github user Humbedooh commented on the pull request:
    Should this pull request be closed then?

If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. To do so, please top-post your response.
If your project does not have this feature enabled and wishes so, or if the
feature is enabled but not working, please contact infrastructure at or file a JIRA ticket with INFRA.

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message