diff --git a/Maintenance/release_building/public_release_name b/Maintenance/release_building/public_release_name index 94944372337..2ac9648e5e1 100644 --- a/Maintenance/release_building/public_release_name +++ b/Maintenance/release_building/public_release_name @@ -1 +1 @@ -CGAL-4.5-alpha2 +CGAL-4.5-alpha3