Community
Participate
Working Groups
Build Identifier: Eclipse 3.4.2 Arturo Arevalo of Constellation build said he has already spoke with the IES people to explain the reason. org.eclipse.tptp.test.R342patch needs to be bumped from 1.0.6 to 1.0.7 for the IES 3425 repository. This is needed for 2 offerings which will be shipped in July and Sept. Reproducible: Always
More details can be found in a work item defect 49xxx. I can't disclose the defect # but Kathy and Arturo are cc'ed in the defect #.
Hi Edwin, Feature patches are not handled by TPTP in open source. I'll provide you more detail off-line on the appropriate process to request that.
Closed in the TPTP 4.7.2 release.