Stream: git-wasmtime

Topic: wasmtime / issue #4630 Cranelift: extend docs on Inst to ...

view this post on Zulip Wasmtime GitHub notifications bot (Aug 22 2022 at 04:34):

iximeow commented on issue #4630:

i forget the etiquette here since i've pushed a change since your review, but i still have a shiny green merge button. CI's gotta churn anyway, so i'll let you have the last word on if this is good for a squash merge still - i assume so :D

Last updated: Nov 22 2024 at 17:03 UTC