On Thu, 2014-08-14 at 02:52 +0100, Ben Hutchings wrote: > On Thu, 2013-11-14 at 10:34 +0000, Ian Campbell wrote: [...] > I've now added something along these lines. Thanks, I'd totally lost track of this one. Ian.