Skip to content

Conversation

@enirox001
Copy link

This PR fixes various typos, spelling mistakes, and grammatical errors found in doc/design.md and source code comments to improve readability.

@DrahtBot
Copy link

DrahtBot commented Nov 28, 2025

The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

Reviews

See the guideline for information on the review process.
A summary of reviews will appear here.

Comment on lines +321 to 322
//! If the server makes a callback into the client in the middle of a request, while client
//! thread is blocked waiting for server response, this is what allows the
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

while client -> while the client [missing article]

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also, the line does not correctly continue the previous one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants