Filtered_kernel: Remove dead code #7810

afabri · 2023-10-19T10:38:16Z

Summary of Changes

Remove dead code spotted by @mglisse that was generated by the filter generator.

Affected package(s): Filtered_kernel
Issue(s) solved (if any): fix Dead code in static filter Power_side_of_oriented_power_sphere_3 #7718
License and copyright ownership: unchanged

sloriot · 2023-11-02T08:11:39Z

Successfully tested in CGAL-6.0-Ic-96

afabri added 2 commits October 19, 2023 11:33

Remove dead code

b025214

Reindent

c985988

afabri added Cleaning Pkg::Filtered_kernel Ready to be tested labels Oct 19, 2023

lrineau added this to the 6.0-beta milestone Oct 20, 2023

sloriot added the Batch_1 First Batch of PRs under testing label Oct 24, 2023

remove unused variable

c7ab471

sloriot added Under Testing and removed Batch_1 First Batch of PRs under testing labels Oct 26, 2023

sloriot added Tested and removed Ready to be tested Under Testing labels Nov 2, 2023

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 Nov 2, 2023

lrineau self-assigned this Nov 2, 2023

lrineau merged commit 9f42a69 into CGAL:master Nov 6, 2023

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 Nov 6, 2023

lrineau deleted the Filtered_kernel-dead_code-GF branch November 6, 2023 11:54

lrineau added the Merged_in_6.0 label Oct 1, 2024