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

Borislav Petkov
2016-09-05T07:53:36Z

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.