Stream: git-wasmtime

Topic: wasmtime / PR #3580 Update addr2line and gimli deps


view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2021 at 21:02):

alexcrichton opened PR #3580 from update-gimli to main:

Just a routine update, figured it was good to stay close to their most
recent versions

<!--

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 (Dec 01 2021 at 21:04):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 01 2021 at 21:48):

alexcrichton merged PR #3580.


Last updated: Dec 23 2024 at 12:05 UTC