Wasmtime GitHub notifications bot (May 28 2020 at 23:05): Wasmtime GitHub notifications bot (May 28 2020 at 23:05):github-actions[bot] commented on Issue #1783:
Subscribe to Label Action
cc @bnjbvr
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:meta"Thus the following users have been cc'd because of the following labels:
- bnjbvr: cranelift
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (May 30 2020 at 03:02):abrown commented on Issue #1783:
@teapotd, just a heads up in case you care about Git stuff: I have been rebasing and merging PRs for some idealized vision of a linear history but I squashed and merged this PR to fold in f5c2468; it would have been nice to keep the commits separate so if you care enough feel free to rebase the review changes into the original commits next time--if you don't mind either way then no worries, please disregard.
Last updated: Nov 22 2024 at 16:03 UTC