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

@1d7040b

03/10/2024 08:33

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (6m33s)
✔️ arm64-debian-10-4.13 (6m38s)

History:

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