Hi! On Fri, 20 Sep 2013 09:47:21 +0100, Pedro Alves wrote: > On 09/20/2013 01:43 AM, David Michael wrote: > > [Hurd/GDB issue] > > But, we're missing all the context on the gdb-patches@ side. I'll have a look. Grüße, Thomas