[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