Stream: git-wasmtime

Topic: wasmtime / PR #2479 Rename SimpleJIT to JIT as it isn't s...

view this post on Zulip Wasmtime GitHub notifications bot (Dec 04 2020 at 18:32):

bjorn3 opened PR #2479 from simplejit_isnt_simple_anymore to main:

Per @pchickey's request.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 04 2020 at 20:32):

abrown submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 04 2020 at 20:37):

bjorn3 updated PR #2479 from simplejit_isnt_simple_anymore to main:

Per @pchickey's request.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 04 2020 at 21:21):

abrown merged PR #2479.

Last updated: Oct 23 2024 at 20:03 UTC