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