As some of you have seen bitbucket suffer from some sort of bandwidth problem. git pull on the buildbots times out. We might want to report it to bitbucket, or just increase the timeout limit on the buildbot. Probably both.
Johan _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
