Needful patches have been applied to CGAL now, due for release in CGAL 4.12.
Waiting now for that patch to trickle over to mshr.
Needful patches have been applied to CGAL now, due for release in CGAL 4.12.
Waiting now for that patch to trickle over to mshr.