Attending: Oliver, Kathy, Ernest, Jonathan
Any issues with last week's summary?
- No issues
- TPTP 4.7.1 schedule is up on http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.7.1/schedule.html
- Currently under regular maintenance stream defect fixing development for TPTP 4.7.1. No issues.
- Mike Reid had been voted in as TPTP Trace committer.
- Kathy had nominated Jerome for TPTP Platform.
- Oliver brought up the fact that we should have Paul nominated for emeritus status. We should also have a general discussion on who else to nominate as the project get archived.
- TPTP 2010/2011 plan
- Oliver brought up TPTP's plan to not contribute to Indigo but will continue to contribute to Helios SR1 and SR2 in the 07/07 PC call
- We'll put together a web page with the plan details so that we could communicate to the community.
- We won't announce to the general TPTP community until we formalize a communication plan. Details to be updated on 07/28 call.
- Next PMC meeting on 07/28 10:00 EDT.