[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-platform-dev] +1 for Chengrui Deng on tptp.platform

+1
A highly valued contributor to the team.

Voting summary: http://portal.eclipse.org/