mirage/mirage: PR #1604: Handle cmdliner deprecations (see #1602)

@0044f83

03/04/2025 12:05

Link to Github

Stages:

✔️ x86_64-debian-10-4.14 (11m16s)
✔️ arm64-debian-10-4.14 (7m42s)
❌ x86_64-debian-10-5.2 (11m44s)
❌ arm64-debian-10-5.2 (6m05s)

History:

03/04/2025 12:05 ❌ @0044f83 (13m38s)