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

Remove redundant --threads help string #35678

Merged
merged 1 commit into from
May 1, 2020

Conversation

tkf
Copy link
Member

@tkf tkf commented May 1, 2020

I think this line is there by accident. Ref #35108 (comment)

@tkf tkf requested a review from fredrikekre May 1, 2020 02:50
@StefanKarpinski StefanKarpinski merged commit 14d83f0 into JuliaLang:master May 1, 2020
@fredrikekre
Copy link
Member

Thanks.

@tkf tkf deleted the threads-help branch May 1, 2020 19:55
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.

None yet

3 participants