mirage/mirage: PR #1570: Use copy# for config.ml

@abc0477

03/10/2024 09:09

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (7m32s)
✔️ arm64-debian-10-4.13 (6m37s)

History:

03/10/2024 09:09 ✔️ @abc0477 (7m32s)
03/10/2024 08:33 ✔️ @1d7040b (6m38s)