github-actions[bot] commented on Issue #1444:
Subscribe to Label Action
This issue or pull request has been labeled: "cranelift", "cranelift:meta"
<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.
abrown commented on Issue #1444:
@iximeow, thanks! Note to self: rebase this and give the same treatment to the new functions I added in #1456 before merging.
Last updated: Nov 22 2024 at 16:03 UTC