Skip to content

Conversation

@spacewander
Copy link
Contributor

Signed-off-by: spacewander spacewanderlzx@gmail.com

Signed-off-by: spacewander <spacewanderlzx@gmail.com>
@github-actions github-actions bot added the wasmtime:c-api Issues pertaining to the C API. label Jul 8, 2022
@github-actions
Copy link

github-actions bot commented Jul 8, 2022

Subscribe to Label Action

cc @peterhuene

This issue or pull request has been labeled: "wasmtime:c-api"

Thus the following users have been cc'd because of the following labels:

  • peterhuene: wasmtime:c-api

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

Copy link
Member

@alexcrichton alexcrichton left a comment

Choose a reason for hiding this comment

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

Thanks!

@alexcrichton alexcrichton merged commit 1d319c0 into bytecodealliance:main Jul 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wasmtime:c-api Issues pertaining to the C API.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants