Attending: Kathy, Jerome
- 12/06 meeting minutes accepted.
- TPTP 4.7.2
- TPTP 4.7.2 test pass completed on December 22 with 100% attempted and 98.6% success.
- Winding down TPTP 4.7.2. Will drop for RC1 this week. PMC approval starts January 24.
- Confirmed with Jerome that he has no other defects currently in plan for TPTP 4.7.2.
- Kathy will update the version number of plugins and features for all subprojects for TPTP 4.7.2.
- TPTP long term plan
- Will start archival process after TPTP 4.7.2 is released in end of February.
- Next PMC meeting is February 7 10:15 to 10:45 EST.