On Wed, 24 Jan 2024 at 11:02, Kees Cook <keescook at chromium.org> wrote: > > Yup. Should I post a formal patch, or do you want to commit what you've > got (with the "file" -> "f" fix)? I took your formal patch. Thanks, Linus