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.

Reply via email to