mirage/mirage: PR #1387: Upgrade safely to git.3.11.0 Git devices

@b5a6dc3

26/01/2023 11:50

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (8m23s)
✔️ arm64-debian-10-4.13 (4m51s)

History:

26/01/2023 11:50 ✔️ @b5a6dc3 (8m23s)
20/01/2023 13:16 ✔️ @0def1bb (46m01s)