mirage/mirage: PR #1510: Updates after functoria / functoria-runtime removal

@384b6c3

14/03/2024 15:15

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (6m37s)
✔️ arm64-debian-10-4.13 (5m23s)

History:

14/03/2024 15:15 ✔️ @384b6c3 (6m37s)