Re: RFA: fix PR breakpoints/13776

Jan Kratochvil
2012-02-28T19:49:00Z

On Tue, 28 Feb 2012 18:26:48 +0100, Tom Tromey wrote:
> I'd appreciate comments on this patch.
> I have no idea whether it is the best way to fix the problem.

I find it OK although I already made some such mistakes in the past.

Thanks,
Jan