mirage/mirage-skeleton: PR #353: adapt to git 3.13 changes

@ca85516

28/03/2023 07:29

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (18m04s)
✔️ arm64-debian-10-4.13 (5m26s)

History:

28/03/2023 07:29 ✔️ @ca85516 (19m58s)