github-actions[bot] commented on Issue #1381:
Subscribe to Label Action
This issue or pull request has been labeled: "cranelift", "cranelift:module"
<details> <summary>Users Subscribed to "cranelift"</summary>
- @bnjbvr
</details>
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
alexcrichton commented on Issue #1381:
:+1:
Last updated: Dec 23 2024 at 12:05 UTC