Stream: git-wasmtime

Topic: wasmtime / PR #4405 Update some dependency versions used ...

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2022 at 17:33):

alexcrichton opened PR #4405 from update-some-deps to main:

No major motivation here, mostly just dependency gardening.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2022 at 17:53):

abrown submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2022 at 18:04):

alexcrichton has enabled auto merge for PR #4405.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2022 at 18:47):

alexcrichton merged PR #4405.

Last updated: Nov 22 2024 at 16:03 UTC