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 (15m12s)
✔️ arm64-debian-10-4.14 (12m37s)
❌ x86_64-debian-10-5.2 (13m17s)
❌ arm64-debian-10-5.2 (5m17s)

History:

03/04/2025 12:05 ❌ @0044f83 (15m12s)