Stream: git-wasmtime

Topic: wasmtime / PR #3446 Remove many unused instructions

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

bjorn3 opened PR #3446 from remove_old_insts to main:

They are leftovers from the old codegen backends.

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

bjorn3 edited PR #3446 from remove_old_insts to main:

They are leftovers from the old codegen backends. I don't think any of the removals in this PR will be controversial.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2021 at 14:46):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2021 at 14:46):

pchickey merged PR #3446.

Last updated: Nov 22 2024 at 17:03 UTC