[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tptp-platform-dev] +1 for Chengrui Deng on tptp.platform
- From: kathy@xxxxxxxxxx (portal on behalf of Kathy Chan)
- Date: Wed, 30 Sep 2009 18:10:06 -0400 (EDT)
- Delivered-to: email@example.com
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/