Closed laurentheirendt closed 4 years ago
Registration pull request created: JuliaRegistries/General/9205
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 v0.3.1 -m "<description of version>" ca5787c86a121848b53a0add53eed85c4781dd74
git push origin v0.3.1
@JuliaRegistrator register
Registration pull request updated: JuliaRegistries/General/9205
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 v0.3.1 -m "<description of version>" 9a583d06e5bd3f3500719795143f1df3baeb5882
git push origin v0.3.1
@JuliaRegistrator register