Hi,
Heads-up: I plan to do the release later today, in ~5-6 hours. So if there are PRs that you want to be included, there is still some time.
[original thread by Marc Dumais]
Hi,
Heads-up: I plan to do the release later today, in ~5-6 hours. So if there are PRs that you want to be included, there is still some time.
[original thread by Marc Dumais]
I updated the changelog
for today’s release here if anyone has comments https://github.com/theia-ide/theia/pull/4751
The release is delayed a bit; looks like Travis is not working ATM. I will check back a little later
ok, I’m going to try now. Please do not merge anything until I am done
ok, all done
Thanks @vince-fugnitto for the CHANGELOG and all contributors who worked on the content of this release.