Skip to content

Spelling correction - #9617

Merged
sloriot merged 1 commit into
CGAL:mainfrom
albert-github:feature/bug_spell_20260827
Aug 27, 2026
Merged

Spelling correction#9617
sloriot merged 1 commit into
CGAL:mainfrom
albert-github:feature/bug_spell_20260827

Conversation

@albert-github

Copy link
Copy Markdown
Contributor

Spelling correction

Spelling correction

@afabri afabri 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.

@sloriot We can just merge.
Thank you @albert-github

@sloriot
sloriot merged commit aee51ff into CGAL:main Aug 27, 2026
8 checks passed
@sloriot
sloriot deleted the feature/bug_spell_20260827 branch August 27, 2026 16:58
@MaelRL MaelRL added this to the 6.3-beta milestone Aug 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants