On 24 October 2012 20:36, Dirk Hohndel <dirk at hohndel.org> wrote: > Since these are clean patches that fix a real issue I pushed them on > master, but I really want to hear from more people. hmms, i can't see these on master. they might have been lost somehow in the interpipes during push. lubomir --