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

issue #7774 Link to support funding of GUDHI project not found #7776

Merged
merged 1 commit into from
Oct 19, 2023

Conversation

albert-github
Copy link
Contributor

Corrected link

Corrected link
@MaelRL MaelRL added this to the 6.0-beta milestone Oct 10, 2023
@MaelRL MaelRL linked an issue Oct 10, 2023 that may be closed by this pull request
@sloriot sloriot added Batch_1 First Batch of PRs under testing Under Testing and removed Batch_1 First Batch of PRs under testing labels Oct 11, 2023
@sloriot
Copy link
Member

sloriot commented Oct 18, 2023

Successfully tested in CGAL-6.0-Ic-86

@lrineau lrineau self-assigned this Oct 19, 2023
@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 Oct 19, 2023
@lrineau lrineau merged commit 8653141 into CGAL:master Oct 19, 2023
@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 Oct 19, 2023
@lrineau lrineau deleted the feature/issue_7774 branch October 19, 2023 13:15
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.

Link to support funding of GUDHI project not found
4 participants