Re: [petsc-dev] next broken in Travis-CI

[Lawrence Mitchell]

> On 7 Jun 2016, at 20:55, Jed Brown <j...@jedbrown.org> wrote:
> 
> Lawrence, can you fix this or shall I?

I'm travelling today so can't get to it til tomorrow. Please go ahead. 

Lawrence