[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