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: Dec 23 2024 at 12:05 UTC