Stream: git-wasmtime

Topic: wasmtime / PR #12844 gc_ops: Mutator update

view this post on Zulip Wasmtime GitHub notifications bot (Mar 26 2026 at 21:26):

pchickey edited PR #12844.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 27 2026 at 16:41):

fitzgen submitted PR review:

Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Mar 27 2026 at 16:42):

fitzgen added PR #12844 gc_ops: Mutator update to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 27 2026 at 17:06):

fitzgen merged PR #12844.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 27 2026 at 17:06):

fitzgen removed PR #12844 gc_ops: Mutator update from the merge queue.

Last updated: Jul 29 2026 at 05:03 UTC