Re: [ANNOUNCEMENT] GDB 8.1 release branch created!

Eli Zaretskii
2018-01-17T16:46:52Z

> 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?