Stream: git-wasmtime

Topic: wasmtime / PR #9020 Update gimli to 0.29.0

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 14:03):

bjorn3 edited PR #9020.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 14:03):

bjorn3 commented on PR #9020:

Gimli 0.31.0 is the latest version, but the addr2line version used by the latest backtrace version depends on gimli 0.29.0, so I used gimli 0.29.0 here to avoid duplicate dependencies.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 15:09):

alexcrichton updated PR #9020.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 15:09):

alexcrichton submitted PR review:

Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 15:09):

alexcrichton has enabled auto merge for PR #9020.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 15:32):

alexcrichton merged PR #9020.

Last updated: Dec 23 2024 at 12:05 UTC