Stream: git-wasmtime

Topic: wasmtime / PR #1316 Remove no-longer-needed wasm-webidl-b...

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

alexcrichton opened PR #1316 from remove-dep to master:

Forgotten from previous interface types removal!

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

fitzgen submitted PR Review.

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

alexcrichton merged PR #1316.

Last updated: Nov 22 2024 at 17:03 UTC