mirage/mirage-skeleton: PR #336: Fix warnings

@8c5f4a9

27/03/2022 17:47

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (6m19s)
❌ arm64-debian-10-4.13 (5m31s)

History:

27/03/2022 19:30 ✔️ @c227b44 (22m03s)
27/03/2022 18:07 ❌ @6299ed5 (11m06s)
27/03/2022 17:47 ❌ @8c5f4a9 (6m19s)
27/03/2022 16:19 ❌ @0301d52 (15m16s)