On Sun, Jan 15, 2012 at 8:46 PM, Gabriel Dos Reis <firstname.lastname@example.org>
did you get a chance to commit the patch? It appears I may have missed it.
Yes, indeed, it is in git/CVS HEAD. I just checked with tonight's build and I also verified that the sources in my laptop match those in Sourceforge.