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

Bug 334430

Summary: Update feature and plugin version numbers for TPTP 4.7.2
Product: z_Archived Reporter: Kathy Chan <kathy>
Component: TPTPAssignee: Kathy Chan <kathy>
Status: CLOSED FIXED QA Contact: Kathy Chan <kathy>
Severity: normal    
Priority: P2 CC: jerome.bozier, jgwest, kathy
Version: unspecifiedFlags: jgwest: review+
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Whiteboard: closed472
Attachments:
Description Flags
Patch for plugins
none
Patch for features none

Description Kathy Chan CLA 2011-01-14 16:25:54 EST
We need to update feature and plugin version numbers for TPTP 4.7.2.  Here's the latest report:

http://www.eclipse.org/tptp/home/downloads/version.php?version=4.7.2&buildID=TPTP-4.7.2-201101121900
Comment 1 Kathy Chan CLA 2011-01-20 16:44:11 EST
Created attachment 187244 [details]
Patch for plugins
Comment 2 Kathy Chan CLA 2011-01-20 16:44:28 EST
Created attachment 187245 [details]
Patch for features
Comment 3 Kathy Chan CLA 2011-01-20 16:48:19 EST
Jonathan, 

Please review these version changes for TPTP 4.7.2 for all the TPTP projects.  I've incremented the service version for all plugins and features reported as requiring updates in:

http://www.eclipse.org/tptp/home/downloads/version.php?version=4.7.2&buildID=TPTP-4.7.2-201101181940

I've already confirmed with Jerome that only the service version numbers need to be updated for the Test project.
Comment 4 Jonathan West CLA 2011-01-20 16:51:19 EST
Patches are good.
Comment 5 Kathy Chan CLA 2011-01-20 16:54:41 EST
Patch committed into HEAD.
Comment 6 Kathy Chan CLA 2011-01-21 13:40:06 EST
Verified on TPTP-4.7.2-201101211050.  Version checker report is clean:

http://www.eclipse.org/tptp/home/downloads/version.php?version=4.7.2&buildID=TPTP-4.7.2-201101211050
Comment 7 Kathy Chan CLA 2011-02-11 14:56:37 EST
Closing in TPTP 4.7.2 on behalf of the originator/owner.
Comment 8 Kathy Chan CLA 2011-02-11 14:57:30 EST
Closing.