#8 (Mar 15, 2024, 3:48:39 AM)

	Changes [doc] Add 7.1.2 section to the release notes (details / githubweb)
	Started by user Pierre-Charles David
	This run spent: 0.13 sec waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: cfce36d75b222d0d7687692fe5910b5cc7c07b8e Repository: https://github.com/eclipse-sirius/sirius-desktop.git origin/v7.1.x

Configurations