GOMEZ Henri <[EMAIL PROTECTED]> writes: > BTW: How did we get TOMCAT 4.1 and 4.0.2 ? Which is the head ?
I believe that 4.1-dev is the tip of the HEAD, 4.0.2-dev is the tip of tomcat_40_branch. -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>