Skip to content

Conversation

@nlohmann
Copy link
Owner

JetBrains/Grazie Pro found a lot of grammar/style/typos issues.

Signed-off-by: Niels Lohmann <[email protected]>
@coveralls
Copy link

coveralls commented Apr 17, 2025

Coverage Status

coverage: 99.189% (+0.001%) from 99.188%
when pulling 401bf00 on typos
into 88c92e6 on develop.

@nlohmann nlohmann added this to the Release 3.12.1 milestone Apr 17, 2025
@nlohmann nlohmann added the review needed It would be great if someone could review the proposed changes. label Apr 17, 2025
@nlohmann nlohmann merged commit 9110918 into develop May 4, 2025
139 checks passed
@nlohmann nlohmann deleted the typos branch May 4, 2025 08:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation L review needed It would be great if someone could review the proposed changes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants