Skip to content

chore: fix typos#17

Closed
notfilippo wants to merge 1 commit into
apache:mainfrom
notfilippo:fix-typos
Closed

chore: fix typos#17
notfilippo wants to merge 1 commit into
apache:mainfrom
notfilippo:fix-typos

Conversation

@notfilippo

@notfilippo notfilippo commented Dec 15, 2025

Copy link
Copy Markdown
Member

NUMER -> NUMERATOR
add PREINTS to the typos dictionary

@notfilippo notfilippo closed this Dec 15, 2025

@tisonkun tisonkun left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Oops. A concurrent updates - #18

I changed DENOM to the denominator for alignment, although it's not spotted yet.

You can use my PR or inetgrate with this one.

@notfilippo

Copy link
Copy Markdown
Member Author

It's fine! Thanks :P

@notfilippo notfilippo deleted the fix-typos branch December 16, 2025 21:12
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