mirage/mirage-skeleton: PR #343: adapt to mirage 4.2

@a1794a2

22/05/2022 03:27

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (9m54s)
✔️ arm64-debian-10-4.13 (14m36s)

History:

30/05/2022 11:16 🟠 @e9dadf6 (19m34s)
22/05/2022 03:27 ✔️ @a1794a2 (14m37s)