mirage/mirage-dev: PR #383: Delete mirage-{xen,solo5}

@7cc3906

01/02/2022 09:09

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (7m50s)
✔️ arm64-debian-10-4.13 (8m33s)

History:

01/02/2022 09:09 ✔️ @7cc3906 (8m33s)