tschneidereit requested cfallin for a review on PR #3145.
tschneidereit opened PR #3145 from meetings
to main
:
As discussed with project leads for both Wasmtime and Cranelift.
tschneidereit requested alexcrichton for a review on PR #3145.
alexcrichton submitted PR review.
tschneidereit merged PR #3145.
bjorn3 submitted PR review.
bjorn3 created PR review comment:
s/Wasmtime/Cranelift, right?
cfallin submitted PR review.
cfallin created PR review comment:
Fixed in #3151, thanks!
Last updated: Dec 23 2024 at 12:05 UTC