Stream: git-wasmtime

Topic: wasmtime / PR #3116 Update `gimli` to 0.25; `addr2line` t...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2021 at 18:05):

fitzgen opened PR #3116 from update-gimli-and-addr2line to main:

<!--

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 (Jul 26 2021 at 18:05):

fitzgen requested pchickey for a review on PR #3116.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2021 at 18:08):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2021 at 19:10):

fitzgen updated PR #3116 from update-gimli-and-addr2line to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2021 at 20:01):

fitzgen merged PR #3116.


Last updated: Dec 23 2024 at 12:05 UTC