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: Dec 13 2025 at 19:03 UTC