Stream: git-wasmtime

Topic: wasmtime / PR #1733 Rename `anyref` to `externref` across...

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 18:57):

fitzgen opened PR #1733 from rename-anyref-to-externref to master.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 18:57):

fitzgen requested alexcrichton for a review on PR #1733.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 18:59):

fitzgen updated PR #1733 from rename-anyref-to-externref to master.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 19:19):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (May 20 2020 at 19:44):

fitzgen merged PR #1733.

Last updated: Nov 22 2024 at 16:03 UTC