Skip to content

Conversation

petrosagg
Copy link
Contributor

If the user has a stream that is Unpin we shouldn't force them to put it in a pinned box

If the user has a stream that is Unpin we shouldn't force them to put
itin a pinned box

Signed-off-by: Petros Angelatos <[email protected]>
@frankmcsherry
Copy link
Member

Looks good, and thanks for the explanation!

@frankmcsherry frankmcsherry merged commit c5195eb into TimelyDataflow:master Sep 2, 2021
antiguru added a commit to antiguru/timely-dataflow that referenced this pull request Feb 5, 2024
@github-actions github-actions bot mentioned this pull request Oct 29, 2024
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