Stream: git-wasmtime

Topic: wasmtime / PR #4251 Add empty wasmtime agendas for the ne...


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

alexcrichton opened PR #4251 from agendas to main:

I skipped Thanksgiving on the 24th of November but otherwise these
shouldn't coincide with any holidays I think.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

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

alexcrichton has marked PR #4251 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 09 2022 at 16:25):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 09 2022 at 16:26):

alexcrichton merged PR #4251.


Last updated: Dec 23 2024 at 12:05 UTC