We seem to agree that it is time to split the dolfin-1.0 and dolfin-dev development.
Rather than splitting off new development to a -dev branch, I would suggest splitting
off 1.0 at this point, cf. the suggestions in "Creating series" on https://help.launchpad.net/Projects/SeriesMilestonesReleases Yes/no? -- Marie _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
