Re: [theia-dev] Issues for 1.39.1

[Thomas Mäder <t.s.maeder@xxxxxxxxx>]

Hi again,

two things: 

1. The community release is 1.40.x, not 1.39.x. My bad!

2. I've created a branch "v1.40.x-community-release". Please use this branch to back-port fixes for the community release.

/Thomas

------ Original Message ------

From "Thomas Mäder" <t.s.maeder@xxxxxxxxx>

To "theia developer discussions" <theia-dev@xxxxxxxxxxx>

Date 23/08/2023 16:39:44

Subject Issues for 1.39.1

Hi folks,

I've opened an issue to collect issues that should be back-ported for the 1.39.1 patch community release: https://github.com/eclipse-theia/theia/issues/12856 Please add the issues you'd like to back-port there.

/Thomas