Skip to content

Conversation

@Thom1729
Copy link
Member

@Thom1729 Thom1729 commented Apr 1, 2021

For #152 (comment).

My feeling is that mutating the selector result is kind of a weird thing to do and that it's probably not worth doing something complicated with mutexes.

@FichteFoll
Copy link
Member

My feeling is that mutating the selector result is kind of a weird thing to do

Definitely. Just documenting it seems fine to me.

@Thom1729 Thom1729 merged commit cbf9a7c into master Apr 4, 2021
@Thom1729 Thom1729 deleted the improve-subscribe-documentation branch April 4, 2021 20:06
@FichteFoll FichteFoll added this to the 1.4.1 milestone Apr 6, 2021
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