Stream: git-wasmtime

Topic: wasmtime / PR #6862 Rename cc helpers

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2023 at 05:04):

gurry opened PR #6862 from gurry:issue-6093-rename-cc-helpers to bytecodealliance:main:

Fixes #6093

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2023 at 05:04):

gurry requested wasmtime-compiler-reviewers for a review on PR #6862.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2023 at 05:04):

gurry requested cfallin for a review on PR #6862.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2023 at 04:20):

gurry updated PR #6862.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2023 at 04:29):

cfallin submitted PR review:

LGTM, thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2023 at 04:30):

cfallin has enabled auto merge for PR #6862.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2023 at 05:51):

cfallin merged PR #6862.

Last updated: Nov 22 2024 at 17:03 UTC