On 02/18/13 22:25, David Woodhouse wrote: > On Mon, 2013-02-18 at 21:27 +0100, Laszlo Ersek wrote: >> >> could someone please review this one-liner? > > Kevin already merged it. Thanks. Sorry for the noise. L.