(cherry picked from commit 5bc3222dad4bcdf0bbdf40f5e20028a04c44374c) Successfully tested in CGAL-4.3-Ic-189 Approved by the release manager
(cherry picked from commit 5bc3222dad4bcdf0bbdf40f5e20028a04c44374c) Successfully tested in CGAL-4.3-Ic-189 Approved by the release manager