Stream: git-wasmtime

Topic: wasmtime / PR #2381 Update wasm-tools dependencies

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2020 at 15:05):

alexcrichton opened PR #2381 from update-deps to main:

Brings in fixes for some assorted wast issues.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2020 at 15:40):

alexcrichton updated PR #2381 from update-deps to main:

Brings in fixes for some assorted wast issues.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2020 at 16:49):

abrown submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2020 at 16:50):

abrown merged PR #2381.

Last updated: Nov 22 2024 at 16:03 UTC