Stream: git-wasmtime

Topic: wasmtime / PR #3225 Remove some dead code from wasmtime-jit

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2021 at 18:23):

alexcrichton opened PR #3225 from remove-dead-code to main:

Looks like nothing is actually using these methods, so let's remove
them.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2021 at 18:26):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2021 at 19:35):

alexcrichton merged PR #3225.

Last updated: Oct 23 2024 at 20:03 UTC