On Wed, Dec 21, 2022 at 09:29:51AM +0800, gaoliming via groups.io wrote: > Gerd: > I will merge these two changes in tools_def.txt. Is it OK to you?
Yes. thanks, Gerd -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#97676): https://edk2.groups.io/g/devel/message/97676 Mute This Topic: https://groups.io/mt/95798708/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
