Skip to content

Conversation

@fbacchella
Copy link
Contributor

No description provided.

@trevorbernard
Copy link
Member

I will merge but next time can the PR be specifically tied to an issue and focused on one problem

@trevorbernard trevorbernard merged commit 30b2bf4 into zeromq:master Apr 21, 2024
@fbacchella fbacchella deleted the minor_fixes branch September 10, 2024 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants