Sorry for that... I installed a courier smtp server, and probably misconfigured it, and it didn't receive mails sent to the list using the domain: cs.huji.ac.il
I hope it will be ok now, and i stop mailbombing... Noam ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
