Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: for the plan.

Jump to: navigation, search



Attending: Eugene, Paul, Joanna, Oliver, Harm

Regrets: Chris

Any issues with last week's summary?

  • Yes, summary not posted.

Any new agenda items?

  • No.

4.5.2 Discussion

The TPTP 4.5.2 I2 TP starts today for one week.

The 11/25 driver will be the candidate build.

  • Josh will promote and announce today.

Josh will start the automated test reports.

4.5.3 Discussion

The 4.5.3 schedule has been approved.

Joanna will deliver the schedule under defect 256050.


The submission date has been extended to 11/28.

Submissions will be selected by 12/16.

Eugene is working at merging the existing submissions given the number of available sessions.

Eugene will summarize the submission after 12/16.


Happy Thanksgiving to Chris and Oliver!

Back to the top