mirage/mirage: PR #1270: Rename shell variable MIRAGE_EXTRA_REPO to EXTRA_REPOS (we can add multiple repositories)

@f91495f

26/01/2022 09:47

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (20m48s)
🟡 arm64-debian-10-4.13

History:

26/01/2022 10:49 🟠 @4472691
26/01/2022 09:47 🟡 @f91495f (20m48s)