Merge proposals

CGAL has no merge proposals.