mirage/mirage: PR #1409: fix opam-monorepo issue with Ocaml5+

@304db61

12/03/2023 18:21

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (13m10s)
✔️ arm64-debian-10-4.13 (6m07s)

History:

12/03/2023 18:21 ✔️ @304db61 (13m10s)
12/03/2023 13:27 ✔️ @328503a (12m16s)