Community
Participate
Working Groups
The version for org.eclipse.tptp.platform.models.hierarchy plugin was 4.6.2 in TPTP v4.6.2 and is currently set to 4.6.3 in TPTP 4.7. It should be set to 4.7.0 since there are some API change in this plugin during TPTP 4.7.
Created attachment 171029 [details] patch
I would like to request that the following defect be considered for PMC approval for 4.7.0. 1. Explain why you believe this is a stop-ship defect. How does the defect manifest itself, and how will users of TPTP / consuming products be affected if the defect is not fixed? Version number for one of the plugin is not incremented adequately. If we just increment it from 4.6.2 to 4.6.3 for TPTP 4.7, then if we ever need to have a TPTP 4.6.3 release, we could not version this plugin properly. 2. Is there a work-around? If so, why do you believe the work-around is insufficient? No. 3. Is this a regression or API breakage? Explain. No. 4. Does this require new API? No. 5. Who performed the code review? Jonathan 6. Is there a test case attached to the bugzilla record? No 7. What is the nature of the fix? What is the risk associated with this fix? Low. 8. Is this fix related to any standards that TPTP adheres to? If so, who has validated that the fix continues to adhere to the standard? No.
Patch checked in.
This defect had been resolved as FIXED for more than 1 month. Please verify with the latest TPTP 4.7.2 driver. If this defect is still left unverified by February 25, we'll close it on the originator's behalf. TPTP 4.7.2 driver can be downloaded from: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2
Closing.
