On Mon, Feb 16, 2009 at 09:02:06PM +0000, Jon Dowland wrote: > On Tue, Nov 25, 2008 at 03:45:53PM +0100, Stefano Zacchiroli wrote: Apologies. I'd moved some mail filters around and didn't realise I was reading a stale mailbox!