Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jf/dev/remove receivers and senders #5

Merged
merged 2 commits into from
Sep 12, 2024

Conversation

joaofigueiredobisect
Copy link
Collaborator

No description provided.

@joaofigueiredobisect joaofigueiredobisect force-pushed the jf/dev/remove_receivers_and_senders branch 2 times, most recently from addf902 to ba4d753 Compare September 10, 2024 10:27
@joaofigueiredobisect joaofigueiredobisect force-pushed the jf/dev/remove_receivers_and_senders branch from ba4d753 to 1ae51b4 Compare September 10, 2024 12:54
Copy link
Collaborator

@massis08 massis08 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Just rebase main in this PR when PR #4 gets merged

@joaofigueiredobisect joaofigueiredobisect force-pushed the jf/dev/remove_receivers_and_senders branch from 1ae51b4 to b8ba40f Compare September 10, 2024 15:09
@joaofigueiredobisect joaofigueiredobisect merged commit cb4ad53 into main Sep 12, 2024
2 checks passed
@joaofigueiredobisect joaofigueiredobisect deleted the jf/dev/remove_receivers_and_senders branch September 12, 2024 15:09
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.

3 participants