mirage/mirage: PR #1319: Fix dune version in dune-project

@22e7545

28/03/2022 07:29

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (19m20s)
✔️ arm64-debian-10-4.13 (7m56s)

History:

28/03/2022 07:29 ✔️ @22e7545 (19m20s)