|Re: [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.
tools-pmc mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
Back to the top