next has been re-wound. Please do
git checkout next
git reset --hard origin/next
or
git pull
git checkout master (or any branch other than next)
git branch -D next
git checkout next
Garth
On Tue, 24 Jun, 2014 at 12:32 PM, Garth N. Wells <[email protected]>
wrote:
There area few issues with the next branch that are causing problems
on the buildbot, so I'd like to reset next. Let me know if there are
any objections.
Garth
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics
