On 01/31/20 10:28, Laszlo Ersek wrote: > 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
Merged now: commit range 83357313dd67..8b0932c19f31. Thanks! Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#53603): https://edk2.groups.io/g/devel/message/53603 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] -=-=-=-=-=-=-=-=-=-=-=-
