[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