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.
Wednesday, August 7, 2019
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:
End of Life:
- [plugin] removed member `processOptions` from `AbstractHostedInstanceManager` as it is not initialized or used