I'll leave it to our release manager to decide if this issue warrants backporting the relevant patches or not.
I think that your point that we will include the generated files on the branch is a good one; let's not backport the patches given that. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com