On 6 May 2013 09:40, "Johan Hake" <[email protected]> wrote: > > Ok, that make sense. Maybe a retry mechanism could help?
Yes, I had that that when we used bzr. I will see if I can add something similar for git. Johannes
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
