#141 (Apr 29, 2024, 11:01:12 AM)

	Changes N&N for https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1063 (commit: 725e42c) (details / githubweb)
	Started by GitHub push by akurtakov (2 times)
	This run spent: 16 sec waiting; 32 sec build duration; 48 sec total from scheduled to completion.
	Revision: 725e42c8e88012a4802e4b727006ebfa9da15b00 Repository: https://github.com/eclipse-platform/www.eclipse.org-eclipse.git origin/master
	SCM: git https://github.com/eclipse-platform/www.eclipse.org-eclipse.git Commits since last build: 1 Latest commit: 725e42c