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: Dec 23 2024 at 12:05 UTC