alexcrichton commented on Issue #1240:
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!
jyn514 commented on Issue #1240:
I don't think this PR is welcome, I'd rather just close it.
Last updated: Dec 23 2024 at 14:03 UTC