Eclipse Theia 0.10.0 Release Review

Type
Release
State
Successful
End Date of the Review Period

Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.

Project
Release

0.10.0

Description

Monthly release of Eclipse Theia, for August 2019.

Note: this is a "major" release in the sense that there is API breakage. However we have decided not to step the major version number until we reach "1.0"; in the meantime we will step the minor one. 

Conforms To UI/UX Guidelines
Not verified
End of Life
  •  [plugin] removed member `processOptions` from `AbstractHostedInstanceManager` as it is not initialized or used