[petsc-dev] we are doing a horrible job on keeping up with the pull requests and nightly builds.
    Barry Smith 
    bsmith at mcs.anl.gov
       
    Thu Jun 15 18:17:05 CDT 2017
    
    
  
   Do we have to hire someone just to do this? If it keeps up it is going to kill PETSc.
    
    
More information about the petsc-dev
mailing list