Wasmtime GitHub notifications bot (Nov 04 2025 at 09:32): Wasmtime GitHub notifications bot (Nov 04 2025 at 09:32):claudecodering opened PR #11976 from claudecodering:main 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 ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->remove repetitive word in comment
Wasmtime GitHub notifications bot (Nov 04 2025 at 09:32):claudecodering requested alexcrichton for a review on PR #11976.
Wasmtime GitHub notifications bot (Nov 04 2025 at 09:32):claudecodering requested wasmtime-fuzz-reviewers for a review on PR #11976.
Wasmtime GitHub notifications bot (Nov 04 2025 at 10:47):tschneidereit submitted PR review:
When generating drive-by commits like this, please at least look at whether they're fully the way they should be. In this case, the removal means that the line break should change, turning this into a single-line comment.
Wasmtime GitHub notifications bot (Nov 04 2025 at 13:01):github-actions[bot] commented on PR #11976:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "fuzzing"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
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 (Nov 07 2025 at 07:00):claudecodering updated PR #11976.
Wasmtime GitHub notifications bot (Nov 07 2025 at 07:01):claudecodering commented on PR #11976:
When generating drive-by commits like this, please at least look at whether they're fully the way they should be. In this case, the removal means that the line break should change, turning this into a single-line comment.
@tschneidereit Sorry for my oversight — I’ve updated it to a single line.
Thank you for your review and suggestions.
Wasmtime GitHub notifications bot (Nov 07 2025 at 10:32):tschneidereit submitted PR review.
Wasmtime GitHub notifications bot (Nov 07 2025 at 11:08):tschneidereit merged PR #11976.
Last updated: Dec 06 2025 at 06:05 UTC