mirage/mirage: PR #1347: mirage.mli: fix the chamelon example invocation

@8d31419

30/08/2022 09:23

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (38m34s)
✔️ arm64-debian-10-4.13 (7m01s)

History:

30/08/2022 09:23 ✔️ @8d31419 (38m34s)