mirage/mirage-skeleton: PR #385: Adapt to API changes for Device.connect

@f0666d1

06/03/2024 16:06

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage: PR #1504: Add line locations to device connect functions

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

Stages:

✔️ x86_64-debian-10-4.13 (7m01s)
✔️ arm64-debian-10-4.13 (5m23s)

History:

06/03/2024 18:23 🟠 @b63f482
06/03/2024 16:06 ✔️ @f0666d1 (7m01s)