[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
Sorry I forgot to vote last time.  Chengrui has been doing solid
contributions for the last cycle or two and would be a valuable addition.

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