mirage/mirage: PR #1396: relax git-mirage bounds to < 3.13.0

@31b6b52

14/02/2023 15:14

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (14m10s)
✔️ arm64-debian-10-4.13 (5m56s)

History:

14/02/2023 15:14 ✔️ @31b6b52 (14m11s)
14/02/2023 14:20 ✔️ @5079fb2 (20m29s)