Stream: git-wasmtime

Topic: wasmtime / PR #3636 Add Cranelift meeting agendas through...

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 01:04):

cfallin opened PR #3636 from cranelift-meetings-2022 to main:

This PR fills out meeting agenda templates for Cranelift through May 16. (May 30 is a US holiday so no meeting then.)

This PR also adds an item on Jan 10 to discuss #3612.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 14:06):

bnjbvr submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 14:06):

bnjbvr created PR review comment:

Don't know if this was a typo that became a recurring joke, but was always amused by this Sumbit here and below ;)

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 14:06):

bnjbvr submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 14:06):

bnjbvr created PR review comment:

uber-nit

# February 7 project call

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

cfallin updated PR #3636 from cranelift-meetings-2022 to main.

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

cfallin submitted PR review.

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

cfallin created PR review comment:

Thanks!

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

cfallin submitted PR review.

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

cfallin created PR review comment:

Many eyeballs have passed over this but yours are the first to see the typo! Thanks!

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

cfallin merged PR #3636.

Last updated: Nov 22 2024 at 17:03 UTC