Stream: git-wasmtime

Topic: wasmtime / PR #2233 dep gardening


view this post on Zulip Wasmtime GitHub notifications bot (Sep 25 2020 at 20:00):

pchickey opened PR #2233 from pch/dep_gardening to main:

Thank you @maxded and @bjorn3 - cargo deny helped us identify that these deps can be consolidated:

<!--

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 (Sep 25 2020 at 20:00):

pchickey edited PR #2233 from pch/dep_gardening to main:

Thank you @maxded and @bjorn3 in #2225 - cargo deny helped us identify that these deps can be consolidated:

<!--

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 (Sep 25 2020 at 20:00):

pchickey edited PR #2233 from pch/dep_gardening to main:

Thank you @maxded and @bjorn3 in #2225 - cargo deny helped us identify that these deps can be consolidated:

<!--

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 (Sep 25 2020 at 20:00):

pchickey requested alexcrichton for a review on PR #2233.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 26 2020 at 05:49):

alexcrichton merged PR #2233.


Last updated: Nov 22 2024 at 16:03 UTC