> From: DJ Delorie <d...@redhat.com> > Cc: gcc-patches@gcc.gnu.org, gdb-patc...@sourceware.org > Date: Wed, 31 May 2017 00:17:14 -0400 > > > Eli Zaretskii <e...@gnu.org> writes: > > Seems to work fine, thanks. > > Checked into gcc trunk then :-)
Thanks!