Stream: git-wasmtime

Topic: wasmtime / PR #3916 Add agenda item for Wasmtime 2022-03-...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2022 at 19:53):

cfallin opened PR #3916 from wasmtime-agenda-2022-03-17 to main:

We've had a few requests for point releases in the last few days so, after quick consultation with @alexcrichton, this probably deserves more explicit discussion in our biweekly to set guidelines! (Thanks to folks who've made the requests for spawning this discussion; no pre-judgment intended on the question either way by adding this agenda item)

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2022 at 19:53):

cfallin requested alexcrichton for a review on PR #3916.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2022 at 20:00):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2022 at 20:00):

alexcrichton merged PR #3916.


Last updated: Dec 23 2024 at 13:07 UTC