Wasmtime GitHub notifications bot (Mar 10 2022 at 19:53): 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)
Wasmtime GitHub notifications bot (Mar 10 2022 at 19:53):cfallin requested alexcrichton for a review on PR #3916.
Wasmtime GitHub notifications bot (Mar 10 2022 at 20:00):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Mar 10 2022 at 20:00):alexcrichton merged PR #3916.
Last updated: Nov 22 2024 at 17:03 UTC