Stream: git-wasmtime

Topic: wasmtime / PR #1693 Move `crates/api` to `crates/wasmtime`


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

joshtriplett opened PR #1693 from move-crates-api-to-crates-wasmtime to master:

The wasmtime crate currently lives in crates/api for historical
reasons, because we once called it wasmtime-api crate. This creates a
stumbling block for new contributors.

As discussed on Zulip, rename the directory to crates/wasmtime.

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

joshtriplett requested sunfishcode for a review on PR #1693.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2020 at 21:04):

alexcrichton merged PR #1693.


Last updated: Oct 23 2024 at 20:03 UTC