I noticed that there is a Git tag v0.8.19 but not a corresponding GitHub Release like the one for 0.8.18 with binaries for download and all. Has that been a conscious decision, have the changes since 0.8.18 been considered too minor for a release or is a GitHub release for 0.8.19 still coming?
Hi!
I noticed that there is a Git tag
v0.8.19
but not a corresponding GitHub Release like the one for 0.8.18 with binaries for download and all. Has that been a conscious decision, have the changes since 0.8.18 been considered too minor for a release or is a GitHub release for 0.8.19 still coming?Thanks and best, Sebastian