[petsc-dev] failure in Jenkins; out of disk space

[Balay, Satish]

I've freed some diskpace now.

Satish

On Sun, 23 Sep 2018, Smith, Barry F. wrote:

> 
>   Two of the jenkins builds are failing with out of disk space issues.
> 
>     Barry
>