On Thursday 21 July 2011 16:19:15, Matt Rice wrote: > On Thu, Jul 21, 2011 at 7:03 AM, Tom Tromey <tromey@redhat.com> wrote: > > This is ok with those changes. > > commited as attached. This definitely deserves a NEWS entry. -- Pedro Alves