Wasmtime GitHub notifications bot (Mar 08 2020 at 15:37): Wasmtime GitHub notifications bot (Mar 08 2020 at 15:37):tschneidereit commented on Issue #1195:
The patch should now address all relevant mentions of the Cranelift repository. Those that still exist are to issues and pull requests that were closed before the merger, and shouldn't be updated, or part of meeting notes, which I think also shouldn't be updated.
Last updated: Feb 24 2026 at 05:28 UTC