Hi Mike, On 01/31/20 09:12, Laszlo Ersek wrote:
> So let me push this series as-is for TianoCore#2129, with your R-b > applied. My pull request (with the "push" label set) seems to have stalled. The checks have passed (twice -- I closed and reopened the PR once, to re-trigger mergify), but the branch is not being merged. https://github.com/tianocore/edk2/pull/324 Thanks Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#53601): https://edk2.groups.io/g/devel/message/53601 Mute This Topic: https://groups.io/mt/69752218/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
