The linux_32 buildbot failed over the weekend. I fixed the problem, but does the linux_32 buildbot need to be restarted? It hasn't run since Saturday.
Garth _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
