Hi!

On Wed, 07 Jun 2017 20:00:00 -0400, Sergio Durigan Junior <sergiodj@redhat.com> wrote:
> On Wednesday, June 07 2017, Pedro Alves wrote:
> 
> > In the commit log:
> >
> > On 06/07/2017 11:15 PM, Sergio Durigan Junior wrote:
> >> This is the most important (and the biggest, sorry) patch of the
> >> series.  It moves fork_inferior from gdb/fork-child.c to
> >> common/common-fork-child.c and makes all the necessary adjustments to
> >> both GDB and gdbserver to make sure everything works OK.
> >
> > common/common-fork-child.c -> nat/fork-inferior.c
> >
> > Series is OK.  Please push.
> 
> Thanks, pushed.
> 
> aefd8b33d97bded58e51d75271f99e1eaec9fb28
> 2090129c36c7e582943b7d300968d19b46160d84
> 043a49349c713dc329a2dfc413b082c3826ecdb8
> 156525114c1cbbace0dec223494b842ffc60d52e

Pushed to master the attached commit
6c6ef69fb4e95d991fa5462d067d3f71a73fedce '[gdb, hurd] Repair build after
"Share fork_inferior et al with gdbserver" changes'.


Grüße
 Thomas