On Fri, Jan 06, 2023 at 11:01:05AM +0100, Thorsten Leemhuis wrote:> Credit where credit is due, this should be:> > Reported-by: Alexandre Pereira <alexpereira@disroot.org>> Link: https://bugzilla.kernel.org/show_bug.cgi?id=216785Ah-ha, thank you! I've updated this.-- Kees Cook