ok, back to normal now On 20/03/14 18:20, Jason A. Donenfeld wrote: > Thanks for catching that. Your Jenkins is awesome. > > http://git.zx2c4.com/cgit/commit/?id=88b93113235452d47e7ce474689327c43e64b843 > > Using the kernel.org <http://kernel.org> mirror instead now. -- Ferry Huberts