[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-monitoring-tools-dev] Welcome Rohit Shetty as a new tptp.monitoring Committer

tptp.monitoring Committers,
This automatically generated message marks the completion of all the legal
paperwork and webmaster provisioning for Rohit Shetty. Rohit Shetty is a
new full Committer on the tptp.monitoring project.

Welcome!