Register

[mschauer]

@JuliaRegistrator register

[JuliaRegistrator]

Error while trying to register: "Tag with name 0.3.0 already exists and points to a different commit"

[mschauer]

@JuliaRegistrator register

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/9225

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.4.0 -m "<description of version>" 3a4d5ffc5ca143d9ade0473ed1cf88d1547585bc
git push origin v0.4.0

[mschauer]

@JuliaRegistrator register

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/10660

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.4.1 -m "<description of version>" 28995827e18c1dbe3269c9452346fdba000df56b
git push origin v0.4.1

[cscherrer]

@mschauer ok to close?