tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Humbedooh <...@git.apache.org>
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:

    https://github.com/apache/tomcat/pull/3#issuecomment-35882751
  
    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
infrastructure@apache.org or file a JIRA ticket with INFRA.
---

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


Mime
View raw message