On Mon, 2012-11-19 at 06:40 +0100, Martin Pitt wrote: > Hello David, Martin, a quick note - your email to the list was delayed because non-subscriber mails are filtered (and we manually clear the queue only at sporadic intervals). -- Arun