On 18.09.2012 10:40, Thomas Klausner wrote: > 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.) Committed. Thanks for quick response, Jens