Paul, I started to check what you push to see if it must be pushed for 3.10,
and find the bug 8707. I see on bugzilla that you obsoleted the patch you've pushed (so there's no patch attached). Is it a behaviour that you plan to do for each patch you push ?
I will need to do that for bugfixes until 3.10, otherwise there is a risk of 3.10 and 3.12 diverging if you pull a patch off of bugzilla that I did not. Any time you see a patch on Bugzilla on a bug you're cherry-picking, it means we need to confer about that patch. I will obsolete 3.12-only patches only on revolving bugs, that need to be reset to ASSIGNED after they've been pushed, but other than that I see no need to obsolete 3.12-only bugs. Regards, Jared -- Jared Camins-Esakov Bibliographer, C & P Bibliography Services, LLC (phone) +1 (917) 727-3445 (e-mail) jcamins@cpbibliography.com (web) http://www.cpbibliography.com/