Subject: Re: bug#9839: compile with gdb running

From: Stefan Monnier <[email-masked]>
Date: Mon, 24 Oct 2011 21:58:55 -0400

> Applying the suggestion from
> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=5145#10

In the absence of any answer from Nick about it, I think the best option
is to revert that change.

        Stefan