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

PR: Filter comm socket thread #390

Merged
merged 1 commit into from
Jun 23, 2022

Conversation

impact27
Copy link
Contributor

Needed for spyder-ide/spyder#11186

Obsolete when #339 is merged

@ccordoba12 ccordoba12 added this to the v3.0.0b1 milestone Jun 22, 2022
@ccordoba12 ccordoba12 changed the title PR: filter comm socket thread PR: Filter comm socket thread Jun 22, 2022
@ccordoba12
Copy link
Member

Do you prefer to merge #339 and drop this one? Or wait until the Frames pane is merged to merge that PR?

@impact27
Copy link
Contributor Author

It doesn’t really matter, if you merge this one I can revert it in #339

@ccordoba12
Copy link
Member

Ok, let's merge this one first then to advance more quickly with spyder-ide/spyder#11186.

Copy link
Member

@ccordoba12 ccordoba12 left a comment

Choose a reason for hiding this comment

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

Thanks @impact27!

@ccordoba12 ccordoba12 merged commit 29fc3bc into spyder-ide:master Jun 23, 2022
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