I'm about to start merging UFC into FFC (today or tomorrow, depending on how smooth the process is).
Should this be pushed into next or master? I'm inclined to push this into master directly since the buildbots will need to be reconfigured anyway (I assume, to remove UFC). -- Anders _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
