Release notes

7.3.2

Released 1 October 2023

Released: 2023-12-08

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