Anto Paul wrote:
This mail to [EMAIL PROTECTED] escaped my Gmail filter for tomcat mail lists. At present I have filters for users@tomcat.apache.org and [EMAIL PROTECTED] When does [EMAIL PROTECTED] came into existence ?
The way our mailing lists work, [EMAIL PROTECTED] is equivalent to users@tomcat.apache.org
I am pretty sure, but haven't checked that in the same way, [EMAIL PROTECTED], is equivalent to tomcat-user@jakarta.apache.org and [EMAIL PROTECTED]
Mark --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
