mirage/mirage: PR #1538: allow git 3.16

@34cadd1

17/05/2024 08:08

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (8m27s)
✔️ arm64-debian-10-4.13 (5m46s)

History:

17/05/2024 08:08 ✔️ @34cadd1 (23m03s)