From mboxrd@z Thu Jan  1 00:00:00 1970
From: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Date: Mon, 4 Jun 2018 22:46:57 +0200
Subject: [Buildroot] [PATCH 1/4] toolchain: add 4.17.x choice for headers
In-Reply-To: <1528116508-12103-1-git-send-email-festevam@gmail.com>
References: <1528116508-12103-1-git-send-email-festevam@gmail.com>
Message-ID: <20180604224657.71e62dde@windsurf>
List-Id: <buildroot.busybox.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: buildroot@busybox.net

Hello,

On Mon,  4 Jun 2018 09:48:25 -0300, Fabio Estevam wrote:
> Signed-off-by: Fabio Estevam <festevam@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