Closed ChrisRackauckas closed 5 years ago
Registration pull request created: JuliaRegistries/General/526
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 Julia TagBot is installed, or can be done manually through the github interface, or via:
git tag -a v3.2.0 -m "<description of version>" 804ec01c9b00bc84efd668f8c6eb44dd7463b70e
git push origin v3.2.0
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/526
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 Julia TagBot is installed, or can be done manually through the github interface, or via:
git tag -a v3.2.0 -m "<description of version>" ce882b2c934ed914c27b75a792d58382011e07d0
git push origin v3.2.0
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/1234
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 Julia TagBot is installed, or can be done manually through the github interface, or via:
git tag -a v3.3.0 -m "<description of version>" 1a39f6602e82a78efbd81924989d121ae3e04712
git push origin v3.3.0
@JuliaRegistrator register()