Release policy

The latest release is 0.13 from April 2025, the previous one 0.12 is from November 2023.

There are quite some commits since April 2025 (more than 300), wouldn’t it be better to have a new stable release now, or maybe plan one every six months or so?

Right now I think a really large number of people are using the dev version, because of this long interval between releases, which is a kind of confirmation that the current dev is stable.

And if the release is based on a commit one month before the release date, the risks of issues would be even smaller.