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.

Sign up for GitHub

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

Jump to bottom

Forward the visitor for split #8276

Merged
merged 1 commit into from
Jun 13, 2024
Merged

Forward the visitor for split #8276

merged 1 commit into from
Jun 13, 2024

Conversation

sloriot
Copy link
Member

@sloriot sloriot commented Jun 11, 2024

Fixes #8275

@sloriot sloriot mentioned this pull request Jun 11, 2024
Closed
@lrineau lrineau added this to the 5.5.5 milestone Jun 11, 2024
@lrineau lrineau linked an issue Jun 11, 2024 that may be closed by this pull request
Trying to use visitor in split() method #8275
Closed
@sloriot
Copy link
Member Author

sloriot commented Jun 12, 2024

Successfully tested in CGAL-6.0-Ic-265

@lrineau lrineau self-assigned this Jun 13, 2024
@lrineau lrineau added rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' rm only: ready for release branch For the release team only: that indicates that a PR is about to be merged in a release branch labels Jun 13, 2024
lrineau added a commit that referenced this pull request Jun 13, 2024
@lrineau
Merge pull request #8276 from sloriot/PMP-split_visitor_fwd
212a323 
Forward the visitor for split
@lrineau lrineau merged commit 14bdf9b into CGAL:5.5.x-branch Jun 13, 2024
7 checks passed
lrineau added a commit that referenced this pull request Jun 13, 2024
@lrineau
Merge pull request #8276 from sloriot/PMP-split_visitor_fwd
a800918 
Forward the visitor for split
@lrineau lrineau removed rm only: ready for release branch For the release team only: that indicates that a PR is about to be merged in a release branch rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' labels Jun 13, 2024
@lrineau lrineau deleted the PMP-split_visitor_fwd branch June 13, 2024 10:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lrineau lrineau

Labels
Bug Merged_in_6.0 Pkg::PMP Tested
Projects
None yet
Milestone
5.5.5
Development

Successfully merging this pull request may close these issues.

Trying to use visitor in split() method
3 participants
@sloriot @MaelRL @lrineau