I forgot to mention: a bugzilla was created for this topic at https://bugzilla.tianocore.org/show_bug.cgi?id=3212
Regards, Pierre -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#71694): https://edk2.groups.io/g/devel/message/71694 Mute This Topic: https://groups.io/mt/80674522/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
