On Thursday, October 03 2013, Tom Tromey wrote: > sergiodj=Sergio Durigan Junior <sergiodj@linux.vnet.ibm.com> I think you have fixed it already but just to make sure, my e-mail is now @redhat.com :-). Thanks a lot, -- Sergio