I see that some recent fixes for the stable branch are not merged into trunk. I think we should have a policy to always merge with trunk whenever we commit something to the stable branch.
Johan _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
