Stream: git-wasmtime

Topic: wasmtime / PR #13349 docs: fix duplicated words in comments

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:17):

vip892766gma opened PR #13349 from vip892766gma:docs/fix-more-duplicated-words to bytecodealliance:main:

Fixes a handful of duplicated words in comments and documentation text. No behavior change. Verification: git diff --check passed.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:17):

vip892766gma requested pchickey for a review on PR #13349.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:17):

vip892766gma requested wasmtime-core-reviewers for a review on PR #13349.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:17):

vip892766gma requested alexcrichton for a review on PR #13349.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:17):

vip892766gma requested wasmtime-default-reviewers for a review on PR #13349.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:28):

:cross_mark: alexcrichton closed without merge PR #13349.

view this post on Zulip Wasmtime GitHub notifications bot (May 13 2026 at 16:28):

alexcrichton commented on PR #13349:

Thanks for the PR, but Wasmtime doesn't take trivial PRs like this.

Last updated: Jun 01 2026 at 09:49 UTC