Stream: git-wasmtime

Topic: wasmtime / PR #3478 Remove two unused dependencies

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2021 at 11:09):

bjorn3 opened PR #3478 from remove_unused_deps to main:

This should ever so slightly improve build times.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2021 at 11:11):

bjorn3 updated PR #3478 from remove_unused_deps to main.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2021 at 16:31):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2021 at 16:30):

bnjbvr closed without merge PR #3478.

Last updated: Oct 23 2024 at 20:03 UTC