Wasmtime GitHub notifications bot (Sep 11 2026 at 07:15): Wasmtime GitHub notifications bot (Sep 11 2026 at 07:15):vividvisit opened PR #14316 from vividvisit:docs-fix-source-comment-spelling to bytecodealliance:main:
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease review the Bytecode Alliance's AI tool usage policy at
https://github.com/bytecodealliance/governance/blob/main/AI_TOOL_POLICY.mdPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->Correct four source-comment errors:
- remove a duplicated “The” from the CLI function description;
- correct “unambigious” to “unambiguous”;
- correct “perfomed” to “performed”;
- correct “ISA-specifc” to “ISA-specific”.
This is comment-only and does not change CLI or code-generation behavior.
Wasmtime GitHub notifications bot (Sep 11 2026 at 07:16):vividvisit requested alexcrichton for a review on PR #14316.
Wasmtime GitHub notifications bot (Sep 11 2026 at 07:16):vividvisit requested wasmtime-compiler-reviewers for a review on PR #14316.
Wasmtime GitHub notifications bot (Sep 11 2026 at 07:16):vividvisit requested wasmtime-core-reviewers for a review on PR #14316.
Wasmtime GitHub notifications bot (Sep 11 2026 at 08:48):github-actions[bot] added the label winch on PR #14316.
Wasmtime GitHub notifications bot (Sep 11 2026 at 08:48):github-actions[bot] commented on PR #14316:
Subscribe to Label Action
cc @saulecabrera
<details>
This issue or pull request has been labeled: "winch"Thus the following users have been cc'd because of the following labels:
- saulecabrera: winch
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (Sep 11 2026 at 14:21)::cross_mark: alexcrichton closed without merge PR #14316.
Wasmtime GitHub notifications bot (Sep 11 2026 at 14:21):alexcrichton commented on PR #14316:
Thanks for the PR, but we don't accept trivial pull requests like this. Feel free to lump these changes into something larger if you're looking to do some work within Wasmtime, however.
Last updated: Sep 20 2026 at 18:08 UTC