Skip to content

Conversation

@alexcrichton
Copy link
Member

This was reverted for 12.0.0 in #6830

@alexcrichton alexcrichton requested a review from a team as a code owner August 10, 2023 19:19
@alexcrichton alexcrichton requested review from abrown and removed request for a team August 10, 2023 19:19
@github-actions github-actions bot added the wasmtime:docs Issues related to Wasmtime's documentation label Aug 10, 2023
Copy link
Member

@fitzgen fitzgen left a comment

Choose a reason for hiding this comment

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

Whoops I'll close #6840. That's what I get for not getting through my github emails...

@fitzgen fitzgen added this pull request to the merge queue Aug 11, 2023
Merged via the queue into bytecodealliance:main with commit 30d086f Aug 11, 2023
eduardomourar pushed a commit to eduardomourar/wasmtime that referenced this pull request Aug 18, 2023
@alexcrichton alexcrichton deleted the update-relntoes branch September 7, 2023 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wasmtime:docs Issues related to Wasmtime's documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants