On Mon, Oct 28, 2013 at 11:02:13AM +0000, Matt Fleming wrote: > This patch should be part of PATCH 12.
I wanted it to be separate as it adds an unrelated functionality but I
don't really care all that much - I'll merge it.
--
Regards/Gruss,
Boris.
Sent from a fat crate under my desk. Formatting is fine.
--
--
To unsubscribe from this list: send the line "unsubscribe linux-efi" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
