Skip to content

Incorporate review suggestions from #205 - #206

Merged
jessealama merged 1 commit into
mainfrom
apply-gameroman-suggestions
Jun 30, 2026
Merged

Incorporate review suggestions from #205#206
jessealama merged 1 commit into
mainfrom
apply-gameroman-suggestions

Conversation

@jessealama

@jessealama jessealama commented Jun 30, 2026

Copy link
Copy Markdown
Collaborator

@gameroman left a couple of suggestions in review on #205, which landed just after that PR was merged. Thanks @gameroman!

Two documentation tweaks suggested by @gameroman in review on #205,
which arrived just after that PR merged:

- README: fix "singaling" typo -> "signaling".
- docs/decimal.md: drop the parentheses around the note about
  internal (un)normalization so it reads as a plain sentence.

Co-Authored-By: gameroman <121314722+gameroman@users.noreply.github.com>
@jessealama jessealama changed the title Incorporate @gameroman's review suggestions from #205 Incorporate review suggestions from #205 Jun 30, 2026
@jessealama
jessealama merged commit 109b67e into main Jun 30, 2026
1 check passed
@jessealama
jessealama deleted the apply-gameroman-suggestions branch June 30, 2026 13:29
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.

1 participant