On 7/7/2016 2:06 PM, Andrew Fish wrote:
Probably worth brining it up with the UEFI Forum.
Thanks, I've just emailed them. -- Bruce _______________________________________________ edk2-devel mailing list [email protected] https://lists.01.org/mailman/listinfo/edk2-devel
