On 01/06/12 08:34:52, Tom Tromey wrote: > The patch is ok with either that change or with those 2 lines removed.
Applied as svn version 183003.
On 01/06/12 08:34:52, Tom Tromey wrote: > The patch is ok with either that change or with those 2 lines removed.
Applied as svn version 183003.