On 24.02.2014 13:47, Humbedooh wrote:
> Github user Humbedooh commented on the pull request:
> 
>     https://github.com/apache/tomcat/pull/3#issuecomment-35882751
>   
>     Should this pull request be closed then?

Test reply demanded by Humbedooh - please ignore.

Rainer

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

Reply via email to