On Tue, 04 Oct, at 01:56:42PM, Ard Biesheuvel wrote: > > I am leaning towards not taking the patch, although we could revisit > this in the future. Let's do this. It's only a cleanup after all. -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
