Stream: general

Topic: where to discuss PR/issues from wasmtime?

csmoe (Mar 04 2020 at 04:35):

#git-cranelift seems obsoleted after cranelift was merged into wasmtime, a git-wasmtime stream should be created?
cc @Benjamin Bouvier

Till Schneidereit (Mar 04 2020 at 09:58):

Thank you for pointing this out! I created a new stream git-wasmtime

Last updated: Nov 22 2024 at 16:03 UTC