Closed maxGimeno closed 3 years ago
Is this ready to be merged? The tests seem alright.
If we merge that, every Ubuntu platform will be red for PSP_Example until my PR is merged, so I don't think it should be merged right now
cf https://github.com/CGAL/cgal/pull/5350
I think it can be merged now, we'll start testing the PR
Is this ready to be merged? The tests seem alright.