Thanks for catching that. Your Jenkins is awesome.<div><br></div><div><a href="http://git.zx2c4.com/cgit/commit/?id=88b93113235452d47e7ce474689327c43e64b843">http://git.zx2c4.com/cgit/commit/?id=88b93113235452d47e7ce474689327c43e64b843</a></div>
<div><br></div><div>Using the <a href="http://kernel.org">kernel.org</a> mirror instead now.</div>