Stream: git-wasmtime

Topic: wasmtime / PR #5812 Correct some spelling errors in a com...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2023 at 01:59):

FuuuOverclocking opened PR #5812 from main to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->
Just correct some spelling errors in a comment, namely crates/environ/src/compilation.rs: 182, 184.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2023 at 02:03):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2023 at 02:04):

jameysharp has enabled auto merge for PR #5812.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2023 at 02:58):

jameysharp merged PR #5812.


Last updated: Dec 23 2024 at 12:05 UTC