[petsc-dev] All petsc-dev users will need to do a reclone of petsc-dev on Tuesday or later

Mark F. Adams mark.adams at columbia.edu
Tue Mar 12 09:10:14 CDT 2013

>   Richard,
>     Completely understood. This is why we didn't do what Jed wanted to do which was just switch to git completely Sunday at Midnight.

Wow, Barry is the the good cop.

More information about the petsc-dev mailing list