Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Spelling correction #8281

Merged
merged 1 commit into from
Jun 12, 2024
Merged

Conversation

albert-github
Copy link
Contributor

Spelling correction

Spelling correction
@MaelRL MaelRL modified the milestone: 6.0 Jun 12, 2024
@lrineau lrineau modified the milestones: 6.0, 6.0-beta Jun 12, 2024
@lrineau lrineau self-assigned this Jun 12, 2024
@lrineau lrineau merged commit 8be11ad into CGAL:master Jun 12, 2024
7 of 8 checks passed
@lrineau lrineau deleted the feature/bug_spell_20240612 branch June 12, 2024 08:47
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.

3 participants