Skip to content

Conversation

@afonso360
Copy link
Contributor

👋 Hey,

This is a leftover from #3154, and is no longer used since we removed heaps in #5386.

@afonso360 afonso360 requested a review from a team as a code owner July 1, 2023 10:54
@afonso360 afonso360 requested review from cfallin and removed request for a team July 1, 2023 10:54
@github-actions github-actions bot added the cranelift Issues related to the Cranelift code generator label Jul 1, 2023
@alexcrichton alexcrichton added this pull request to the merge queue Jul 1, 2023
Merged via the queue into bytecodealliance:main with commit c19c729 Jul 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cranelift Issues related to the Cranelift code generator

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants