Subject: Re: bug#17675: 24.4.50; *gud* buffer keeps on getting buried

From: Noam Postavsky <[email-masked]>
Date: Mon, 21 May 2018 16:40:17 -0400

martin rudalics <[email-masked]> writes:
>
> If you think that this might solve Bug#22374, I'd go for it.  Can you
> explain how it solves that bug?

Followed up in Bug#22374.

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22374#12