Sébastien Loriot 41449d71cd fix bug when setting the ids of points ...

2 options, one with mutex and one without. As this section is not critical,
we do not really see a runtime difference (without mutex seems faster so
I pick that one as default)

2023-06-12 11:05:11 +02:00

..

CGAL

fix bug when setting the ids of points

2023-06-12 11:05:11 +02:00