Stream: git-wasmtime

Topic: wasmtime / PR #1372 Remove the old wast and wasm2obj comm...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 22:14):

sunfishcode opened PR #1372 from cleanup-wasm2obj to master:

These are subsumed by the wasmtime wast and wasmtime wasm2obj commands.

Fixes #827.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 22:21):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 22:43):

sunfishcode updated PR #1372 from cleanup-wasm2obj to master:

These are subsumed by the wasmtime wast and wasmtime wasm2obj commands.

Fixes #827.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 23:30):

sunfishcode merged PR #1372.


Last updated: Dec 23 2024 at 13:07 UTC