> On 19 September 2012 02:23, Dirk Hohndel <dirk at hohndel.org> wrote: > Please also check the patch that I sent out a minute ago. That's the one > I'm planning to push instead of Lubomir's. > the patch was broken for me against master btw. not sure why.. i've edited manually. lubomir --