mirage/mirage: PR #1576: mirage.mli: fix another documentation reference

@8213cea

07/10/2024 13:51

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (8m39s)
✔️ arm64-debian-10-4.13 (6m40s)

History:

07/10/2024 13:51 ✔️ @8213cea (8m39s)