* Willy Tarreau <w...@1wt.eu> wrote:
> On Sun, Dec 30, 2018 at 12:25:02PM +0100, Ingo Molnar wrote:
> Could we please also use the opportunity and move
> > nolibc.h to a more prominent place, like in tools/include/nolibc/nolibc.h
> > or so?
>
> It's exactly what the last patch does, I followed your suggestion :-)
Silly me - I only looked at the series of patches and didn't see a file
movement patch there :-)
Thanks,
Ingo
