mirage/mirage-skeleton: PR #384: Rename Mirage_key to Mirage_arg

@f6ebf33

05/03/2024 14:18

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage: PR #1501: Rename Runtime_key to Runtime_arg

To use that feature, simply mention target PR in the original PR's description.

Stages:

🟡 x86_64-debian-10-4.13
❌ arm64-debian-10-4.13 (4m17s)

History:

05/03/2024 14:31 🟠 @58da09f
05/03/2024 14:18 ❌ @f6ebf33 (4m17s)