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.
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.
- [plugin] removed member `processOptions` from `AbstractHostedInstanceManager` as it is not initialized or used