Community
Participate
Working Groups
In the "plug-in version number" log generated by the build the following plug-ins are listed as having changes but their version number hasn't been updated. It needs to be updated or Update Manager won't install the new version of these plug-ins that contain the updates. org.eclipse.tptp.monitoring.doc.isv org.eclipse.tptp.monitoring.doc.user org.eclipse.tptp.monitoring.report.birt.doc.user
These plugins are already included in the list in bugzilla 159646. *** This bug has been marked as a duplicate of 159646 ***
Created attachment 52441 [details] Patch to fix the problem
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this originator of this enhancement/defect has an inactive Bugzilla account and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.