Changes made to bug 333694

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

Who	When	What	Removed	Added
kathy	2011-01-06 16:24:23 EST	Priority	P3	P2
		Assignee	tptp.platform-inbox	samwu
		Target Milestone	---	4.7.2
samwu	2011-01-07 12:20:43 EST	CC		jgwest
jgwest	2011-01-07 15:02:56 EST	Status	NEW	RESOLVED
jgwest	2011-01-07 15:02:56 EST	Resolution	---	FIXED
samwu	2011-01-10 09:56:07 EST	Status	RESOLVED	CLOSED
webmaster	2016-05-05 10:41:00 EDT	Component	Build	TPTP
		Version	4.7.2	unspecified
		Product	TPTP Release Engineering	z_Archived
		Target Milestone	4.7.2	---