Closed Wikunia closed 4 years ago
Registration pull request created: JuliaRegistries/General/8988
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.5.3 -m "<description of version>" eb1a01332c7649ef525eda73d050ab0cacc6a5c5
git push origin v0.5.3
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/8988
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.5.3 -m "<description of version>" c28b62656f699911c5f6bdba53b7405c2754f090
git push origin v0.5.3
Another go for Travis ;) @JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/8988
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.5.3 -m "<description of version>" c28b62656f699911c5f6bdba53b7405c2754f090
git push origin v0.5.3
@Wikunia, this version got tagged, shall we close this?
@JuliaRegistrator.register()