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

[Borislav Petkov]

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 :-)

-- 
Regards/Gruss,
    Boris.

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