Merged Commit: https://github.com/tianocore/edk2/commit/540522fec06b87bf11ad5624abe23b515f282d60
Mike From: Michael Kubacki <mikub...@linux.microsoft.com> Sent: Monday, February 13, 2023 6:14 AM To: Kinney, Michael D <michael.d.kin...@intel.com>; devel@edk2.groups.io Subject: Re: [edk2-devel] [PATCH v1 1/1] .devcontainer/devcontainer.json: Add devcontainer file Hi Mike, I rebased the PR branch and updated the Ab to Rb. https://github.com/tianocore/edk2/pull/4015 Thanks, Michael -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#100150): https://edk2.groups.io/g/devel/message/100150 Mute This Topic: https://groups.io/mt/96409896/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/leave/9847357/21656/1706620634/xyzzy [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
