On Mon, Jun 27, 2011 at 1:41 PM, Bertrand Delacretaz <[email protected]> wrote: > On Mon, Jun 27, 2011 at 1:29 PM, Rupert Westenthaler > <[email protected]> wrote: >>... >> It would be really great if someone could manually delete this files.... >
Done by the helpful [email protected] folks. -Bertrand
