Stream: git-wasmtime

Topic: wasmtime / PR #3759 memfd: Some minor follow-ups

view this post on Zulip Wasmtime GitHub notifications bot (Feb 02 2022 at 21:41):

alexcrichton opened PR #3759 from some-cleanups to main:

This is a follow-up of some minor nits that weren't worth blocking the original PR on, but seemed like nice-to-haves upon re-review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 02 2022 at 22:05):

alexcrichton updated PR #3759 from some-cleanups to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 02 2022 at 23:16):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 02 2022 at 23:47):

alexcrichton updated PR #3759 from some-cleanups to main.

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

alexcrichton merged PR #3759.

Last updated: Nov 22 2024 at 16:03 UTC