Delayed in 1.13.0 release

As mentioned, we expected to release 1.13.0 this week. Unfortunately, issues in CI are delaying it, in particular the build of Linux packages.

At the same time, we found already a regression, so 1.13.1 will be released soon after we fix the issue in our CI.

Stay tuned!