Stream: git-wasmtime

Topic: wasmtime / issue #7112 c-api: Update reexport of wasmtime...

view this post on Zulip Wasmtime GitHub notifications bot (Sep 29 2023 at 22:24):

alexcrichton commented on issue #7112:

Ok sounds good to me, I've updated to remove just the ::* aspect but this will still do pub use wasmtime; for downstream users to use.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 18 2023 at 19:55):

alexcrichton commented on issue #7112:

ping @fitzgen, mind taking a look at this?

Last updated: Nov 22 2024 at 17:03 UTC