[Buildroot] [PATCH 3/3] package/linux-headers: add support for Linux 5.1 kernel headers

[Clément Leger]

Yes, that was the intended modification.
But it can probably wait for the 5.1 release if needed.

>>>>>> "Clément" == Clément Leger <cleger at kalray.eu> writes:
> 
> > Absolutely :/. I will resend it as a separate one if you are ok with that.
> 
> Yes, please - But as 5.1 has not been released yet, I'm not sure what
> exactly you want to update in linux-headers? Just the
> BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_5_1 symbol?
> 
> --
> Bye, Peter Korsgaard