Release 3.12.0
cormullion opened this issue · 3 comments
cormullion commented
@JuliaRegistrator register()
JuliaRegistrator commented
Error while trying to register: "Tag with name v3.11.0 already exists and points to a different commit"
cormullion commented
@JuliaRegistrator register()
JuliaRegistrator commented
Registration pull request created: JuliaRegistries/General/34278
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v3.12.0 -m "<description of version>" b55ffdc8198542207ce560dab5c2550a9c686383
git push origin v3.12.0