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.
Thursday, August 29, 2019
Major release (API breakage)