tl;dr
If you're sending emails to this list, now would be a good time to
switch over to the new list: https://edk2.groups.io/g/devel
We will be transitioning to Groups.io today for our devel mailing list.
At some point today, this email will begin to bounce any incoming
messages. I'll be working on getting the archive of old emails uploaded
to Groups.io. When I have a timetable for the archives I'll update the
new list.
Cheers,
Stephano
_______________________________________________
edk2-devel mailing list
edk2-devel@lists.01.org
https://lists.01.org/mailman/listinfo/edk2-devel