On Wed, 1 Feb 2012 21:37:21 +0100, Pieter Praet <pieter at praet.org> wrote: > Thanks to Dmitry Kurochkin <dmitry.kurochkin at gmail.com> > for pointing this out: id:"87d39ymyb4.fsf at gmail.com" Pushed. d