When pushing changes to the 1.0 branch, please also merge into trunk. This is much easier than dealing with merge conflicts from many change sets.
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
