I think that we should make a release today (making it beta3 of rc1). A ton of bugs have been fixed. We can push any others to the next milestone.
Garth _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
