mail filters not working Wed May 4, 10:46 to 13:11

 If you are on the new main LDEO mail server, and have set up mail filters using the new WEB interface at

https://mail.ldeo.columbia.edu or https://mail1.ldeo.columbia.edu, the filters were not processed from approximately 

10:46 to 13:11, Wed May 4 due to a permission problem - all mail would have been delivered directly to your INBOX.

This problem has been resolved.