Re: Re: Questions about gnu.org versus debian bugs.

Hi Justin, Thank you for your quick response. I will stick with the bug against gdb source on gdb.org. For future reference, which is the correct mailing list? Thank You, Ewa.

Re: Re: Questions about gnu.org versus debian bugs.

Hi, Thank you for your quick response. I've made sure to check whether this bug has already been filed against Debian. I'm sure that this is a bug in the gdb source code because I've compiled the latest gdb source code from gnu.org and found the place in the source where the fix is likely needed

Questions about gnu.org versus debian bugs.

Hi, I'm new to filing bugs with Debian and I want to make sure to do this right. If I file a bug against gnu.org (gdb), is it OK for me to file the same bug against the relevant Debian package as well? It reproduces with both. Thank You, Ewa.