On Tue, Sep 18, 2012 at 10:25:54AM +0200, Jens Rehsack wrote: > Would it be ok to commit it now? Does it need revbump? Yes. No. (Because the binary package doesn't change -- it's just a build fix.) Thomas