On Sat, 2012-05-05 at 05:16:39 +0200, Guillem Jover wrote: > On Mon, 2012-03-19 at 15:33:28 +0000, Thomas Adam wrote: > > I can re-roll if you prefer? Actually, on second thought, being this a one-liner it's easier for me to fix it up, which I've done locally, and will be included on my next push. thanks, guillem