|[tools-pmc] Time to terminate TPTP|
We've had a good run, but there has been no activity on TPTP in a very long time and it seems like it's time to shut the doors.
Can I get your approval for both the termination and the corresponding documentation?
The documentation is a bit terse. I can add more if you feel that there is a need.
Back to the top