#9568 (Aug 23, 2023, 10:23:57 AM)

	Changes Bug 581681 - shape of hidden pin indicator (details)
	Triggered by Gerrit: https://git.eclipse.org/r/c/4diac/org.eclipse.4diac.ide/+/203811 Other triggered builds for this event. 4diac IDE Gerrit Pipeline
	This run spent: 18 sec waiting; 28 min build duration; 28 min total from scheduled to completion.
	Revision: d3c8bf8330057e248d3ceffbc57f907e2197084b Repository: https://git.eclipse.org/r/4diac/org.eclipse.4diac.ide refs/changes/11/203811/1
	Test Result (no failures)