diff --git a/Maintenance/release_building/public_release_name b/Maintenance/release_building/public_release_name index 07373a13fc7..3e0b99aa47d 100644 --- a/Maintenance/release_building/public_release_name +++ b/Maintenance/release_building/public_release_name @@ -1 +1 @@ -CGAL-4.8-dev +CGAL-4.8-alpha1