On Fri, Dec 11, 2020 at 7:47 PM Borislav Petkov <bp@xxxxxxxxx> wrote: > > On Mon, Dec 07, 2020 at 01:41:41PM +0100, Lukas Bulwahn wrote: > > Thomas, Ingo, Boris, please pick this minor non-urgent clean-up patch. > > Why? > > Isn't it obvious that when you send a patch to us, the final goal is for > it to be applied. Eventually. > Yes, agree. Other maintainers noted that I should point out that the patch is only a minor clean-up and it is not urgent to be considered. So, I add this remark to make clear that it is not top priority to apply just that the maintainers know. You will sure review it eventually, and hopefully accept it then. If that comment disturbs you, please ignore it. Lukas
