On 15 Dec 2017, at 09:44, Alan Modra <amodra@gmail.com> wrote: > > On Thu, Dec 14, 2017 at 11:32:41PM +0000, James Clarke wrote: >> gdb/ChangeLog: > > Patches for gdb should go to gdb-patches@sourceware.org Yeah, I already sent them there when I realised there was a separate mailing list; sorry for the noise. James