On Tue, Sep 02, 2014 at 03:22:58PM +0300, Nikolai Kondrashov wrote: > Hi everyone, > > The attached patch fixes CI builds on Debian. > > Nick Hmm, first day of CI and first patch that amends the hardcoded list :-) Still, looks good to me. ACK