Skip to content
Back to Milestones

v1.3.0

New issue
Closed
No due date
•Closed Nov 5, 2023

This is going to be a first release after the long maintenance break since 2019.
It should include no new features, but most important bug fixes and improvements.

100% complete

List view

0 issues of 0 selected

    There are no open issues in this milestone

    Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.