Skip to content

Conversation

@fitzgen
Copy link
Member

@fitzgen fitzgen commented Jul 16, 2020

No description provided.

@github-actions
Copy link

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.

@alexcrichton alexcrichton merged commit a9455a8 into bytecodealliance:main Jul 16, 2020
@fitzgen fitzgen deleted the c-api-changes-for-wasmtime-py branch July 16, 2020 01:03
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