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

[Eric Chamberland]

Le 2016-01-27 11:49, Barry Smith a écrit :

   Sorry about that. Fixed in master.

Thanks for the quick fix!!! :)

Eric