Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [tools-pmc] Time to terminate TPTP

+1




From:        Wayne Beaton <wayne@xxxxxxxxxxx>
To:        
Cc:        tools-pmc@xxxxxxxxxxx
Date:        04/13/2016 07:19 PM
Subject:        [tools-pmc] Time to terminate TPTP
Sent by:        tools-pmc-bounces@xxxxxxxxxxx




Greetings PMC.

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?

https://projects.eclipse.org/projects/tools.tptp/reviews/termination-review

The documentation is a bit terse. I can add more if you feel that there is a need.

Wayne

--
Wayne Beaton
@waynebeaton
The Eclipse Foundation

EclipseCon
          France 2016_______________________________________________
tools-pmc mailing list
tools-pmc@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/tools-pmc


Back to the top