Wasmtime GitHub notifications bot (Jun 02 2022 at 17:53): Wasmtime GitHub notifications bot (Jun 02 2022 at 17:53):alexcrichton commented on issue #4209:
Indeed yeah I was searching around for users of it to ensure they would all work correctly if it was accidentally too large and when I found no users of it I figured I could delete it. I think you're right that when I added escaped funcs I forgot to delete this field
Wasmtime GitHub notifications bot (Jun 02 2022 at 18:03):github-actions[bot] commented on issue #4209:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "wasmtime:ref-types"Thus the following users have been cc'd because of the following labels:
- fitzgen: wasmtime:ref-types
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Last updated: Nov 22 2024 at 17:03 UTC