mirage/mirage: PR #1337: mirage.mli: update deprecated references

@e9ea749

14/07/2022 10:44

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (15m17s)
✔️ arm64-debian-10-4.13 (6m27s)

History:

14/07/2022 10:44 ✔️ @e9ea749 (15m17s)
14/07/2022 10:44 🟠 @a7e7106