Before you merge your work into next again, do git checkout next git reset --hard origin/next
NB! If you have local changes in next you will have to merge them back again. Johannes _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
