mirage/mirage: PR #1545: update test output to cmdliner 1.3.0

@c4e4b73

27/05/2024 12:06

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (6m42s)
✔️ arm64-debian-10-4.13 (5m17s)

History:

27/05/2024 12:06 ✔️ @c4e4b73 (6m42s)