Changes made to bug 343520

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Who	When	What	Removed	Added
stolpmann	2011-04-21 08:32:52 EDT	CC	jcayne
stolpmann	2011-04-21 08:34:23 EDT	Status	NEW	RESOLVED
stolpmann	2011-04-21 08:34:23 EDT	Resolution	---	FIXED
stolpmann	2011-04-21 08:46:33 EDT	Version	unspecified	4.7.2
webmaster	2016-05-05 10:40:36 EDT	Component	Build	TPTP
		Version	4.7.2	unspecified
		Product	TPTP Release Engineering	z_Archived