Stream: git-wasmtime

Topic: wasmtime / PR #3771 chore: update zstd

view this post on Zulip Wasmtime GitHub notifications bot (Feb 07 2022 at 07:39):

JonasKruckenberg opened PR #3771 from update-zstd to main:

Bumps zstd from 0.9 to 0.10

view this post on Zulip Wasmtime GitHub notifications bot (Feb 07 2022 at 15:38):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 07 2022 at 15:38):

alexcrichton merged PR #3771.

Last updated: Nov 22 2024 at 16:03 UTC