Release notes

5.1.4

Released 1 January 2023

Released: 2023-02-06

In this release, we concentrated on fixing known issues with the tool and enhancing the back-end stability.