No response for 15 minutes, so I pushed to next ;) I don't mind to re-merge later if this is reset.
Martin On 14 February 2014 19:13, Martin Sandve Alnæs <[email protected]> wrote: > I have something to push to ufc/ffc/ufl if the merge hasn't started but > can wait if the merge is underway. > > Martin >
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
