7.1.2

Released: 2023-11-09

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