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

Bug 313529

Summary: Test project version update for TPTP 4.7 release
Product: z_Archived Reporter: Joel Cayne <jcayne>
Component: TPTPAssignee: Paul Slauenwhite <paulslau>
Status: CLOSED FIXED QA Contact: Kathy Chan <kathy>
Severity: major    
Priority: P1 CC: jcayne, paulslau
Version: unspecified   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:
Attachments:
Description Flags
Patch. none

Description Joel Cayne CLA 2010-05-19 10:28:42 EDT
The latest build report (http://eclipse.org/tptp/home/downloads/version.php?version=4.7.0&buildID=TPTP-4.7.0-201005171900) contains Test plug-ins that require their version to be incremented prior to the TPTP 4.7.0 release. Paul can you please update the version numbers.

Thanks!
Comment 1 Paul Slauenwhite CLA 2010-05-21 16:25:17 EDT
Created attachment 169558 [details]
Patch.
Comment 2 Paul Slauenwhite CLA 2010-05-21 16:25:38 EDT
The attached patch is checked in to CVS (HEAD).
Comment 3 Joel Cayne CLA 2010-06-03 12:30:27 EDT
Verified build report looks good on TPTP-4.7.0-201006021900.