0.12.0
Closed Dec 16, 2020
0% complete
The release failed when deploying the website but the artefacts were already on Maven Central, so all content has been moved to 0.12.1.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.