[Buildroot] [PATCH 1/4] toolchain: add 4.17.x choice for headers

[Thomas Petazzoni]

Hello,

On Mon,  4 Jun 2018 09:48:25 -0300, Fabio Estevam wrote:
> Signed-off-by: Fabio Estevam <festevam at gmail.com>
> ---
>  toolchain/Config.in                                                  | 5 +++++
>  .../toolchain-external/toolchain-external-custom/Config.in.options   | 4 ++++
>  2 files changed, 9 insertions(+)

Series applied, thanks!

Thomas
-- 
Thomas Petazzoni, CTO, Bootlin (formerly Free Electrons)
Embedded Linux and Kernel engineering
https://bootlin.com