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

Reply via email to