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: Nov 22 2024 at 16:03 UTC