Hi Lukas, On Thu, Apr 18, 2013 at 03:39:18PM +0200, Lukas Tribus wrote: > Hi Willy! > > > > Done, thanks Thomas! > > Can you also push it so that people see it in git and a nightly snapshot > is created?
ah yes, stupid me, I forgot to push, done now! > The bug is pretty major, if it is in git and there are snapshots with this > fix included at least we don't forget about it and people not following > the ML are aware of it (like package maintainers, etc). Agreed! Willy

