mirage/mirage: PR #1574: provide Mirage_runtime.register_arg, deprecate Mirage_runtime.register

@e1238f5

07/10/2024 09:20

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (7m15s)
✔️ arm64-debian-10-4.13 (6m48s)

History:

07/10/2024 09:45 ✔️ @3b25009 (6m44s)
07/10/2024 09:20 ✔️ @e1238f5 (12m23s)
07/10/2024 09:18 🟠 @9cd192f
07/10/2024 09:05 ❌ @052790f (7m26s)