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 checking bibliography #8240

Merged
merged 1 commit into from
May 31, 2024

Conversation

albert-github
Copy link
Contributor

Spell check on bibliography

Spell check on bibliography
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 have read all changes and approve them. I wrote two comments concerning the dollar sign.

@afabri afabri self-assigned this May 31, 2024
@afabri afabri added this to the 6.0 milestone May 31, 2024
@sloriot
Copy link
Member

sloriot commented May 31, 2024

Successfully tested in CGAL-6.0-Ic-256

@lrineau lrineau added the rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' label May 31, 2024
@lrineau lrineau modified the milestones: 6.0, 6.0-beta May 31, 2024
@lrineau lrineau merged commit 74edf8a into CGAL:master May 31, 2024
8 checks passed
@lrineau lrineau removed the rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' label May 31, 2024
@lrineau lrineau deleted the feature/bug_bib_spell_20240530 branch May 31, 2024 09:11
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.

5 participants