Skip to content

Conversation

@albert-github
Copy link
Contributor

Spelling corrections

Spelling corrections
@MaelRL MaelRL added the Doc label Jan 14, 2026
Copy link
Member

@afabri afabri left a comment

Choose a reason for hiding this comment

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

I checked all suggested changes.
I agree with @MaelRL on the change to make for an #undef

Corrections based on review
@albert-github
Copy link
Contributor Author

Thanks for the review, changed accordingly

@sloriot
Copy link
Member

sloriot commented Jan 15, 2026

Successfully tested in CGAL-6.2-Ic-83

@sloriot sloriot merged commit e4c7b16 into CGAL:main Jan 15, 2026
9 checks passed
@sloriot sloriot deleted the feature/bug_spell_20260113_1 branch January 15, 2026 17:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants