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 or, 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.