I've just pushed a critical bugfix to ufl on bitbucket, which should be backported (cherry-picked) to 1.2. What's the procedure for this now? Do we apply patches to the old lp series? Is there a 1.2 git branch I can cherry-pick directly to?
Martin _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : fenics@lists.launchpad.net Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp
