Any chance of a 13.5.2 release?

[AJenbo]

It's been a while since the latest release on the 13 branch, even though a lot of nice new things have been merged:

v13.5.1...master

Any chance we will see a new stable release tag soon?

[parallels999]

yes, it should be done