Open bilman opened 2 months ago
Registration pull request created: JuliaRegistries/General/112340
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.1.2 -m "<description of version>" 4f3a7cbafde44bbb04f56131f53d1022a6aa481f
git push origin v0.1.2
@JuliaRegistrator register
Release Notes: Fixed an inequality in the RHP choosing algorithm.