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