On Sat, May 05, 2012 at 11:09:33PM +0200, David Ostrovsky wrote: > Hi Matúš, > > thank you very much for your review and your help (on IRC). > I updated my patch accordingly. Pushed, thanks! D.