Sirius Desktop 7.1.2
Description
Service release with a single backport of https://github.com/eclipse-sirius/sirius-desktop/issues/193 in the 7.1.x branch.
Conforms To UI/UX Guidelines
Not verified
This release is part of Eclipse IDE 2024-03