On Sun, Dec 3, 2023 at 2:37 AM Michael D Kinney <michael.d.kin...@intel.com> wrote: > > Merged: https://github.com/tianocore/edk2/pull/5098
I was going to submit a v2, but thanks for cleaning things up and pushing! -- Pedro -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#111995): https://edk2.groups.io/g/devel/message/111995 Mute This Topic: https://groups.io/mt/102904623/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
