mirage/mirage: PR #1579: Defunctorise TIME, PCLOCK, MCLOCK, RANDOM -- allow defaults to be passed to Mirage.register

@66a593c

09/10/2024 18:16

Link to Github

Stages:

🟠 x86_64-debian-10-4.13
❌ arm64-debian-10-4.13 (2m40s)

History:

09/10/2024 18:32 ❌ @073278a (19m05s)
09/10/2024 18:22 ❌ @b226d2a (6m03s)
09/10/2024 18:16 ❌ @66a593c (2m40s)
09/10/2024 18:15 🟠 @65eae9e