[petsc-dev] petsc-master bug? "Too many pushes"

Eric Chamberland Eric.Chamberland at giref.ulaval.ca
Wed Jan 27 13:48:19 CST 2016


Le 2016-01-27 11:49, Barry Smith a écrit :
>
>    Sorry about that. Fixed in master.
>

Thanks for the quick fix!!! :)

Eric




More information about the petsc-dev mailing list