diff --git a/Maintenance/release_building/public_release_name b/Maintenance/release_building/public_release_name index 95b54936983..450f570635d 100644 --- a/Maintenance/release_building/public_release_name +++ b/Maintenance/release_building/public_release_name @@ -1 +1 @@ -CGAL-4.12-beta1 +CGAL-4.12-beta2