how about 'petsc-dev' mailing list? satish
On Thu, 4 Sep 2014, Barry Smith wrote: > > PETSc developers > > Please get rid of that damn confusing repository > https://bitbucket.org/petsc/petsc-dev now before someone else gets confused. > And stop using the term petsc-dev to refer to any PETSc repository! Why do > we insist on making our already complicated jobs even more complicated by > leaving silly things hanging around? > > Thanks > > >
