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

[Not a PR] Replace ChannelHandle/ChannelHandleAndGroup with GroupHandle #4841

Closed
wants to merge 2 commits into from
Closed

[Not a PR] Replace ChannelHandle/ChannelHandleAndGroup with GroupHandle #4841

wants to merge 2 commits into from

Conversation

uklotzde
Copy link
Contributor

@uklotzde uklotzde commented Jul 5, 2022

I wrote this as an alternative to #4672 to get rid of the string-typed group handles. It also cleans up the code by getting rid of some redundancies. Worked reliably for me.

For whom it may concern. This PR is only intended as an offer to copy my branch before I finally delete.

You may close this PR when done. Otherwise I will do it eventually.

@Swiftb0y
Copy link
Member

Swiftb0y commented Jul 5, 2022

Thank you. I made a copy in my fork and may adopt this in the future.

@Swiftb0y Swiftb0y closed this Jul 5, 2022
@daschuer
Copy link
Member

daschuer commented Jul 6, 2022

Thank you.

@Swiftb0y you may also issue a new WIP PR, just to remind us that this work exists.

@Swiftb0y
Copy link
Member

Swiftb0y commented Jul 6, 2022

sure #4843

@daschuer
Copy link
Member

daschuer commented Jul 6, 2022

Thanks :-)

@uklotzde uklotzde deleted the grouphandle branch July 6, 2022 13:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants