I also realize that I made a mistake in comment:2: I addressed the ticket to 0.12.2, which corresponds to branches/0.12-stable​, but the patch itself was for trunk​… Pure luck this time, I'll try to behave in the future :)