New release with fixes since 2023

[libre-man]

Hi,

Since 2023 there have been quite some fixed (most importantly for us is #8d13647). However, since then there has not been a new release. Is there any plan to release a new version, or should we switch to something else?

[tolomea]

I'm here looking for the same thing, this is now the biggest source of warnings on our system