Skip to content

Conversation

@the8472
Copy link
Member

@the8472 the8472 commented Mar 7, 2023

The new API is needed for optimizations in rust-lang/rust#108815

@the8472
Copy link
Member Author

the8472 commented Mar 7, 2023

Also needs a version bump so we can use it. Can I include that in this PR or should that be done separately?

@nnethercote
Copy link
Contributor

The most recent ena change was #43, and @nikomatsakis then did a release off #44.

@the8472 the8472 marked this pull request as draft March 9, 2023 08:06
@the8472 the8472 marked this pull request as ready for review March 9, 2023 20:54
Copy link
Contributor

@nikomatsakis nikomatsakis left a comment

Choose a reason for hiding this comment

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

I found the comment confusing. What do you think of this version, @the8472 ?

@the8472 the8472 requested a review from nikomatsakis March 14, 2023 22:06
@nikomatsakis nikomatsakis merged commit 25bf0df into rust-lang:master Mar 17, 2023
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.

3 participants