* Stefano Lattarini wrote on Wed, Aug 18, 2010 at 12:14:03PM CEST: > > Applied to maint, merged in master and branch-1.11, and pushed.
FWIW, somehow you managed to apply these two patches separately to each of these branches, instead of merging them all from maint. I'm fixing the merges with the next push. Cheers, Ralf
