Eclipse Sirius Sirius Desktop 7.1.2

Service release with a single backport of https://github.com/eclipse-sirius/sirius-desktop/issues/193 in the 7.1.x branch.

 

Release Date
Release Type
Service release (bug fixes only)
This release is part of Eclipse IDE 2024-03