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

default to threads:on (#9878) #10781

Closed
wants to merge 1 commit into from

Conversation

arnetheduck
Copy link
Contributor

let's see how broken this is...

@stale
Copy link

stale bot commented Oct 24, 2020

This pull request has been automatically marked as stale because it has not had recent activity. If you think it is still a valid PR, please rebase it on the latest devel; otherwise it will be closed. Thank you for your contributions.

@stale stale bot added the stale Staled PR/issues; remove the label after fixing them label Oct 24, 2020
@stale stale bot closed this Nov 23, 2020
@ringabout ringabout mentioned this pull request Jun 7, 2021
@arnetheduck arnetheduck mentioned this pull request Jan 12, 2022
@ringabout ringabout removed the stale Staled PR/issues; remove the label after fixing them label Jan 12, 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