This has been fixed and merged now, thanks CI team for the great work. Chmouel. On Wed, Jun 27, 2012 at 7:10 PM, John Postlethwait <john.postlethwait at nebula.com> wrote: > Jenkins has been broken since yesterday. The infrastructure team is trying > to address that now, it will merge when it is back up. >