mirage/mirage: PR #1481: Use Cmdliner.Arg.doc_alts_enum

@b64a08c

10/11/2023 11:36

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (6m04s)
✔️ arm64-debian-10-4.13 (5m12s)

History:

10/11/2023 11:36 ✔️ @b64a08c (6m04s)