On Fri, 03 Jun, at 11:00:40AM, Will Deacon wrote: > > Mark, Jeremy? > > I've kept this patch marked as unread, but it's not clear to me (a) how > urgent it is (b) what tree it should go through and (c) whether it's the > right thing to do! Ping? Anyone got an update here? -- 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
