v1.13.5 released

We are regularly releasing new versions and did it again today. The latest release contains several UX improvements, fixes 4 reported bugfixes (thanks!) and 10+ unreported issues we found ourselves.

Please keep reporting issues, we appreciate any feedback!

Mingo should suggest the update automatically, or you can download it directly from our Download page.