Skip to content

Documentation alignment#350

Closed
binderjens wants to merge 1 commit into
google:masterfrom
binderjens:documentation
Closed

Documentation alignment#350
binderjens wants to merge 1 commit into
google:masterfrom
binderjens:documentation

Conversation

@binderjens
Copy link
Copy Markdown
Contributor

Aligns the README.md with the changes done in c70f927.
Minor spell corrections.

Aligns the README.md with the changes done in c70f927.
Minor spell corrections in documentation and comments.
jpcottin added a commit that referenced this pull request May 15, 2026
- launch() docstring: "abd" -> "adb"; also include the port number for parity
  with the existing "gRPC on port 8554" half of the sentence.
- available() log message: "avaliable" -> "available".

These were originally proposed by @binderjens in #350; that PR also did README
updates that have since been done by #390.

Co-Authored-By: Jens Binder <binderjens@gmail.com>
@jpcottin
Copy link
Copy Markdown
Collaborator

Hi @binderjens — thank you for this contribution and apologies for the very long delay before responding.

The README portion of this PR has been superseded by #390 (the ./src./bld directory rename was applied as part of that change). The two typo fixes have just been cherry-picked into #399, which lists you as a co-author of the commit.

Closing as superseded — thanks again for catching these.

@jpcottin jpcottin closed this May 15, 2026
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.

2 participants