On 08/07/2013 10:09 PM, Sergio Durigan Junior wrote: > Thanks, fixed. > > I also fixed all nits pointed by Doug, so I guess nothing else stops > this patch to be checked in, right? Yes, I think so. -- Pedro Alves