On Wednesday 16 February 2011 18:02:59, Tom Tromey wrote: > >>>>> "Pedro" == Pedro Alves <pedro@codesourcery.com> writes: > > Pedro> I also wrote a ChangeLog entry. Shall I go ahead and > Pedro> commit this? > > Yes, thank you. Done. Thanks again. -- Pedro Alves