We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Previous release: #5745
Next release: #6242
Installation/lib/cmake/CGAL/CGALConfigVersion.cmake
Installation/include/CGAL/version.h
--beta 1
CHANGES.md
Documentation/doc/resources/1.8.13/menu_version.js
--beta 2
/wiki/Releases
public_release_name
menu_version.js
bash tag_pr_per_release.sh
/home/lrineau/CGAL/create_internal_release
The text was updated successfully, but these errors were encountered:
lrineau
No branches or pull requests
Previous release: #5745
Next release: #6242
Before the beta release
Installation/lib/cmake/CGAL/CGALConfigVersion.cmake
Installation/include/CGAL/version.h
(for header-only)--beta 1
to the command lineCHANGES.md
(Prepare CHANGES.md for 5.4 #6122)CHANGES.md
Documentation/doc/resources/1.8.13/menu_version.js
and the other two copiesAfter the beta release
--beta 2
to the command lineInstallation/include/CGAL/version.h
(for header-only)Installation/lib/cmake/CGAL/CGALConfigVersion.cmake
/wiki/Releases
Before the official release
public_release_name
Installation/include/CGAL/version.h
(for header-only)--beta 1
from the command linemenu_version.js
in the documentation.After the official release
bash tag_pr_per_release.sh
(see Add script to label PR merge in a release since the previous major one #4000)/home/lrineau/CGAL/create_internal_release
on cgal.gf.comAfter a bug-fix release 5.4.1
bash tag_pr_per_release.sh
(see Add script to label PR merge in a release since the previous major one #4000)/wiki/Releases
After a bug-fix release 5.4.2
bash tag_pr_per_release.sh
(see Add script to label PR merge in a release since the previous major one #4000)/wiki/Releases
update PR for brew packageAfter a bug-fix release 5.4.3
bash tag_pr_per_release.sh
(see Add script to label PR merge in a release since the previous major one #4000)/wiki/Releases
update PR for brew packageAfter a bug-fix release 5.4.4
bash tag_pr_per_release.sh
(see Add script to label PR merge in a release since the previous major one #4000)/wiki/Releases
update PR for brew packageAfter a bug-fix release 5.4.5
bash tag_pr_per_release.sh
(see Add script to label PR merge in a release since the previous major one #4000)/wiki/Releases
update PR for brew packageThe text was updated successfully, but these errors were encountered: