bug#20034: 25.0.50; [PATCH] gud never displays a source buffer over the gud window

[Dima Kogan]

martin rudalics <rudalics@gmx.at> writes:

>>> Maybe people who reported problems with their gud-/gdb interface could
>>> try whether the patch fixes them.
>>
>> I sent requests to the tracker of 17675 and 19901

Reporters of those bugs haven't replied for a week. I did test the
latest patch earlier, and it appeared to address both of those bugs as
well as mine. Do we need to keep waiting for those reporters before
taking the patch?

Thanks

dima