User: Igor VinokurProject: Eclipse TheiaType: CommitterStatus: ActiveActive: Thursday, June 13, 2019Contribution Activity: Commits on Eclipse Theia by Igor Vinokur (lifetime).