Stream: git-wasmtime

Topic: wasmtime / Issue #1271 Remove current outdated implementa...


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

alexcrichton opened Issue #1271:

There's been a small amount of discussion on Zulip about what to do about interface types. I'd like to move that discussion here and formally propose that we take @tschneidereit's idea and do the following:

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2020 at 18:06):

alexcrichton labeled Issue #1271:

There's been a small amount of discussion on Zulip about what to do about interface types. I'd like to move that discussion here and formally propose that we take @tschneidereit's idea and do the following:

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2020 at 20:05):

alexcrichton closed Issue #1271:

There's been a small amount of discussion on Zulip about what to do about interface types. I'd like to move that discussion here and formally propose that we take @tschneidereit's idea and do the following:


Last updated: Dec 23 2024 at 12:05 UTC