=== chris14_ is now known as chris14
=== shokohsc56 is now known as shokohsc5
[09:50] <xypron_> sergiodj: EDK II for riscv64 will require QEMU 8.1. Do you expect that release to go into mantic?
[15:00] <sergiodj> xypron_: I'll coordinate with the Debian maintainer to check, but I think it's doable until FF
[15:00] <xypron_> sergiodj: Thanks. EDK II is maintained by dannf.
[15:01] <sergiodj> xypron_: ACK, thanks
[15:07] <sergiodj> xypron_: the Debian maintainer told me that 8.1 still has issues which are impacting/hurting debian infra, so I'm not sure that we'll have it ready before FF anymore...
=== oerheks is now known as SureAViking
=== SureAViking is now known as oerheks
=== chris14_ is now known as chris14
=== shokohsc59 is now known as shokohsc5
=== mybalzit1h is now known as mybalzitch