Next branch has been reset to master. This is because buildbots are red on next because of my changes and I'm too busy to fix it in a short time.
Sorry for any inconvenience. Jan _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
