GitHub (Feb 28 2020 at 23:36): GitHub (Feb 28 2020 at 23:36):alexcrichton commented on Issue #1346:
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!
Last updated: Nov 22 2024 at 17:03 UTC