Changes made to bug 525387

Who	When	What	Removed	Added
genie	2017-09-29 10:00:55 EDT	See Also		https://git.eclipse.org/r/106007
daniel.kruegler	2017-10-22 16:49:07 EDT	CC		daniel.kruegler
karsten.thoms	2017-11-22 17:07:21 EST	CC		karsten.thoms
genie	2020-06-15 00:43:40 EDT	Status	NEW	CLOSED
		Resolution	---	WONTFIX
		Whiteboard		stalebug
genie	2022-03-30 11:48:07 EDT	See Also		https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/106007
simeon.danailov.andreev	2022-03-30 11:52:08 EDT	See Also	https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/106007
genie	2022-03-30 12:30:37 EDT	See Also		https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/106007
loskutov	2022-03-30 13:45:24 EDT	OS	Linux	All
		CC		loskutov
		Resolution	WONTFIX	---
		Whiteboard	stalebug
		Status	CLOSED	REOPENED