Skip to content

Conversation

@pmeijer
Copy link
Contributor

@pmeijer pmeijer commented Jul 22, 2025

This also fixes the CI.

@pmeijer pmeijer self-assigned this Jul 22, 2025
@pmeijer pmeijer added the dependencies Pull requests that update a dependency file label Jul 22, 2025
@pmeijer pmeijer merged commit 0ffbf4c into master Jul 22, 2025
2 checks passed
@pmeijer pmeijer deleted the zeromq-v6 branch July 23, 2025 17:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants