On Tue, 29 Apr, at 07:56:20AM, H. Peter Anvin wrote: > > I'm wondering if it would be better to organize it into a separate topic > branch. We can still take it through tip, if you want, but it would be > better than putting it all into one tree.
Sure, that makes sense. I'll do that. -- Matt Fleming, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
