alexcrichton commented on Issue #902:
Thanks for the PR again, and as a procedural note the Cranelift repository has now merged into the wasmtime repository.
PRs are no longer landing in this repository, and unfortunately there's no "one button" solution to move a PR to the wasmtime repository. A script has been prepared, however, to assist you in transferring this PR to the wasmtime repo. Feel free to reach out on Zulip with any questions!
iximeow commented on Issue #902:
Closing this with the hope that either #1181 will result in a change that supplants PR, or that this will be significantly different when #1181 is resolved.
Last updated: Dec 23 2024 at 14:03 UTC