Stream: git-wasmtime

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


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

vip892766gma opened PR #13348 from vip892766gma:docs/fix-duplicated-words-in-comments to bytecodealliance:main:

Fixes duplicated words in comments/doc text. No runtime behavior change.

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

vip892766gma requested alexcrichton for a review on PR #13348.

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

vip892766gma requested wasmtime-fuzz-reviewers for a review on PR #13348.

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

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

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

:cross_mark: alexcrichton closed without merge PR #13348.

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

alexcrichton commented on PR #13348:

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


Last updated: Jun 01 2026 at 09:49 UTC