Closed goedman closed 4 years ago
Registration pull request created: JuliaRegistries/General/10765
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 v2.1.3 -m "<description of version>" f8176e181a1e10962caa2a1a595a8804376c55e1
git push origin v2.1.3
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/11962
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 v2.1.4 -m "<description of version>" 1521964a3bb217f3d9e19c3b7c15b84dacf61bc1
git push origin v2.1.4
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/12471
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 v2.1.5 -m "<description of version>" 64eda432372b324f8e81dce0ee2c5777ff943a03
git push origin v2.1.5
@JuliaRegistrator
register()