fenics team mailing list archive

[Martin Sandve Alnæs <martinal@xxxxxxxxx>]

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