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

Filtered_kernel: Add missing header includes #4981

Merged
merged 1 commit into from
Sep 11, 2020
Merged

Filtered_kernel: Add missing header includes #4981

merged 1 commit into from
Sep 11, 2020

Conversation

MaelRL
Copy link
Member

@MaelRL MaelRL commented Sep 8, 2020

Release Management

@MaelRL MaelRL added this to the 5.0.4 milestone Sep 8, 2020
@MaelRL MaelRL changed the title Add missing header includes Filtered_kernel: Add missing header includes Sep 8, 2020
@MaelRL MaelRL assigned MaelRL and unassigned MaelRL Sep 8, 2020
@MaelRL MaelRL linked an issue Sep 8, 2020 that may be closed by this pull request
std::index_sequence requires utility header #4974
Closed
@maxGimeno
Copy link
Contributor

Successfully tested in https://cgal.geometryfactory.com/CGAL/testsuite/results-5.2-Ic-3.shtml

@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 Sep 11, 2020
@lrineau lrineau merged commit 80fca76 into CGAL:releases/CGAL-5.0-branch Sep 11, 2020
@lrineau lrineau removed Ready to be tested Under Testing rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' labels Sep 11, 2020
@boegel boegel mentioned this pull request Aug 17, 2021
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lrineau lrineau

@maxGimeno maxGimeno

Labels
Bug Merged_in_5.0.4 Merged_in_5.1.1 Merged_in_5.1.2 Merged_in_5.1.3 Merged_in_5.1.4 Merged_in_5.1.5 Merged_in_5.2 Pkg::Filtered_kernel Tested
Projects
None yet
Milestone
5.0.4
Development

Successfully merging this pull request may close these issues.

std::index_sequence requires utility header
3 participants
@MaelRL @maxGimeno @lrineau