Stream: git-wasmtime

Topic: wasmtime / PR #2901 Upgrade to the latest versions of gim...

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2021 at 09:39):

bnjbvr opened PR #2901 from bump-gimli-object-addr2line to main:

And adapt to API changes. New gimli supports wasm dwarf, resulting in
some simplifications in the debug crate.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2021 at 09:55):

bnjbvr updated PR #2901 from bump-gimli-object-addr2line to main.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2021 at 13:48):

bnjbvr updated PR #2901 from bump-gimli-object-addr2line to main.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2021 at 15:53):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2021 at 15:53):

alexcrichton merged PR #2901.

Last updated: Nov 22 2024 at 17:03 UTC