On 09/19/2011 06:05 PM, Stefano Lattarini wrote:
I'll push the attached patch in 72 hours if there is no review by then.Paolo, since it's you who have written the previous version of this patch, from which I've drawn heavily, are you ok to be listed as the main author in the ChangeLog entry, and in the "Author" field of the git commit?
I don't care either way. :) Thanks for shepherding the patch! Paolo
