On 6/12/20 11:45 PM, Sean Brogan wrote:
Bug fixed. Release 0.13.7 created and published.
@ard - You should be able to get past your current issue on PR 689.
Thanks all for the diagnosis and the fix.
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#61232): https://edk2.groups.io/g/devel/message/61232
Mute This Topic: https://groups.io/mt/74836016/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
