I've pushed some large changes to ufl master, and have to wait for the buildbot to trigger (which takes ages for no apparent reason) before I push to ffc and then dolfin, otherwise the buildbot will fail for those as well.
Martin
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
