Closed mschauer closed 4 years ago
Registration pull request created: JuliaRegistries/General/8600
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.11.0 -m "<description of version>" 235be756b295c518901f5435e10e8b11ee82ebd3
git push origin v0.11.0
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/11216
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.11.1 -m "<description of version>" fa4ec7ec14fe961e7a0eb06c5014956638703c82
git push origin v0.11.1
@JuliaRegistrator register
Registration pull request updated: JuliaRegistries/General/11216
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.11.1 -m "<description of version>" fa4ec7ec14fe961e7a0eb06c5014956638703c82
git push origin v0.11.1
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/12629
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 v0.11.2 -m "<description of version>" d6571e227ff4e2844de82c9403b050b6d4526db8
git push origin v0.11.2
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/13346
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 v0.11.3 -m "<description of version>" 430e9d8a0a39a2cd00f13cd10bfd1f3df5f3d2c4
git push origin v0.11.3
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/23037
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 v0.11.4 -m "<description of version>" a208706c9318c769d2b5b562625706e8769a1bfa
git push origin v0.11.4
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/24468
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 v0.11.5 -m "<description of version>" 1e9880ec0fe2d8174d05dc646189f3d3ce77d9fc
git push origin v0.11.5
@JuliaRegistrator register
Registration pull request updated: JuliaRegistries/General/24468
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 v0.11.5 -m "<description of version>" 7fa5206b626187a951422add5779ec9932fdf229
git push origin v0.11.5
@JuliaRegistrator register