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.