Stream: git-wasmtime

Topic: wasmtime / PR #1515 Trim some unused deps from wasmtime-e...


view this post on Zulip Wasmtime GitHub notifications bot (Apr 15 2020 at 18:45):

alexcrichton opened PR #1515 from trim-deps to master:

Was poking around but looks like these are no longer needed

view this post on Zulip Wasmtime GitHub notifications bot (Apr 16 2020 at 15:06):

alexcrichton updated PR #1515 from trim-deps to master:

Was poking around but looks like these are no longer needed

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

alexcrichton merged PR #1515.


Last updated: Dec 23 2024 at 12:05 UTC