FYI: It seems that somebody has merged next into master in dolfin. This is not supposed to happen in the gitworkflows model.
There's no need to revert anything, just making a note for future improvement. I realise it will take a little time for everyone to get used to git before we can expect gitworkflows to be followed strictly. I will however stress that such a workflow can not be followed strictly by some and broken at will by others, as that may quickly remove the benefits and give us only the overhead of additional dicipline. Martin _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
