On Thu, Jan 12, 2023 at 10:39:20PM +0000, Limonciello, Mario wrote: > This particular one was fixed already in https://patchwork.freedesktop.org/patch/518050/ which got applied today. Ah-ha; thanks! -- Kees Cook