On 6/7/23 11:00, Ard Biesheuvel wrote:
On Wed, 7 Jun 2023 at 17:39, Rebecca Cran <rebe...@bsdio.com> wrote:
I've pushed it.
Thanks! How did you manage that?
I just realized I pushed the wrong one! I went to the checks tab and
clicked the button to re-run all the checks.
--
Rebecca Cran
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#105875): https://edk2.groups.io/g/devel/message/105875
Mute This Topic: https://groups.io/mt/99289807/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
