Re: [petsc-dev] error in Jenkins but not nightly

[Balay, Satish via petsc-dev]

On Mon, 10 Jun 2019, Balay, Satish via petsc-dev wrote:

> For now - I'll try out a simpler model [i.e manually rebuild as needed]

I've rebuilt the packages [keeping the old ones for maint tests]. And updated 
master to reflect this.

Satish