Re: [PATCH v2] Remove duplicated include in gdb directory

Joel Brobecker
2014-01-07T02:44:22Z

> > Sergio> Other than that, let's wait for some maintainer to give the
> > Sergio> green light.
> >
> > You have it.
>
> Thanks, Tom.
>
> Honggyu, could you please provide the ChangeLog for the patch? I can
> push it to the repository when you do that.

Here is a suggestion: If Honggyu were to start the paperwork to assign
past and future changes to GDB, we'd be retroactively covered for this
change as well, and we would not be hindered if future changes come in.

--
Joel