Skip to content

Conversation

@Mark-Simulacrum
Copy link
Member

The current thread runtime was previously used but there was no reason
to do so. This utilizes the default runtime.

The current thread runtime was previously used but there was no reason
to do so. This utilizes the default runtime.
@Mark-Simulacrum
Copy link
Member Author

I seem to recall getting a compilation error last time I tried this, but I must have changed something since then.

@onur
Copy link
Contributor

onur commented Jul 30, 2019

Thanks!

@onur onur merged commit f01dedd into rust-lang:master Jul 30, 2019
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