On Mon, Dec 14, 2009 at 01:37:30PM +0000, Simon Peyton-Jones wrote: > > Best of all, I think, would be for the person listed as owner below to check that there is nothing good in the tree, and then zap it. Done for mine. Thanks Ian