This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [ANNOUNCEMENT] GDB 8.1 release branch created!
> From: Sergio Durigan Junior <sergiodj@redhat.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
> Date: Wed, 17 Jan 2018 11:38:08 -0500
>
> > https://sourceware.org/ml/gdb-patches/2017-05/msg00130.html
>
> Ah, there you go. Thanks, Pedro. I had missed that exchange of
> messages.
How about using GCC pragma to shut up this warning in that particular
place?