[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
+1

Chengrui has been fixing many JVMTI bugs and would be a valuable addition
to the TPTP project as a committer.

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