Does everyone agree that we should make a release of DOLFIN 1.0-beta as soon as the buildbot is green? (And push remaining items to 1.0-rc1.)
Anything else waiting to be pushed? I know I have some small things to push (tests currently running) and Marie has some small things to add. Anything else? -- Anders _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
