Stream: git-wasmtime

Topic: wasmtime / PR #3431 Remove the sarg_t type and dummy_sarg...

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2021 at 12:38):

bjorn3 opened PR #3431 from remove_sarg_t to main:

They are no longer necessary with the new style backends.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2021 at 16:54):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2021 at 16:58):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2021 at 16:58):

pchickey merged PR #3431.

Last updated: Nov 22 2024 at 16:03 UTC