mirage/mirage-skeleton: PR #338: tell people which MirageOS version to use if they have the wrong one

@b46be03

06/04/2022 09:34

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (7m48s)
❌ arm64-debian-10-4.13 (8m23s)

History:

06/04/2022 09:34 ❌ @b46be03 (8m24s)