Stream: git-wasmtime

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

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.

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: Feb 28 2025 at 02:27 UTC