Re: RFC: fix PR 12707

Jan Kratochvil
2013-01-15T16:59:42Z

On Mon, 14 Jan 2013 20:31:09 +0100, Tom Tromey wrote:
> It probably needs various preceding patches, though I didn't really
> check in detail.

Yes, I wanted to test it but I do not see how to patch it, could you push it
to an archer branch?

Thanks,
Jan