On 4/8/2019 10:40 AM, Laszlo Ersek wrote:>
Unfortunately, the current <edk2-b...@lists.01.org> mailing list seems to have been disabled too early.
Hmm, they should have kept this enabled. I specifically mentioned this in the ticket.
https://lists.01.org/pipermail/edk2-bugs/2019-April/006787.html
I seem to have gotten all the updates from this morning's triage, all arriving about 6 hours after 006787 (as expected).
Are you still not receiving updates from that list? If so I'll check with others to see if I'm alone in receiving these emails.
Cheers, Stephano -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#38669): https://edk2.groups.io/g/devel/message/38669 Mute This Topic: https://groups.io/mt/30965885/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
