Re: [PATCH] kbuild/builddeb: Fix !CONFIG_GCC_PLUGINS build

From: Borislav Petkov
Date: Thu Sep 08 2016 - 04:28:13 EST

On Mon, Sep 05, 2016 at 08:38:13AM +0200, Michal Marek wrote:
> A fix has already been submitted by Kees Cook. I took your patch as a
> reminder to submit my rc-fixes branch to Linus :).

So it wasn't for nothing after all :-)


ECO tip #101: Trim your mails when you reply.