Mark Thomas schreef:
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]
However, this doesn't work (anymore?)
<[EMAIL PROTECTED]>:
Sorry, no mailbox here by that name. (#5.1.1)
Cheerz,
Rick
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
