I think we can avoid making the release branches for non-dolfin projects until someone wants to add new features. But before new features are added, we need to make release branches just like for dolfin. Ok?
Martin _______________________________________________ Mailing list: https://launchpad.net/~ffc Post to : ffc@lists.launchpad.net Unsubscribe : https://launchpad.net/~ffc More help : https://help.launchpad.net/ListHelp
