FYI, I plan to start the release process in an hour or so. If there is any last-minute PR you’d like to merge before, please do so ASAP.
[original thread by Marc Dumais]
FYI, I plan to start the release process in an hour or so. If there is any last-minute PR you’d like to merge before, please do so ASAP.
[original thread by Marc Dumais]
Thanks for taking care of the release Marc
ok, I am starting. Please hold on merging
ok, all done
Big thanks to @vince-fugnitto for providing me with a much enhanced CHANGELOG, again for this release
See here for the highlights for this release: https://github.com/theia-ide/theia/blob/master/CHANGELOG.md