Re: [theia-dev] 1.34.2

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

Looks like we have another candiate: Use tree item path for tree node id. https://github.com/eclipse-theia/theia/pull/12120

But we're still looking for a successful review on the PR for that one. 

/Thomas

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

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

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

Date 23/02/2023 14:43:04

Subject 1.34.2

Hi folks,

following up on the discussion in the community meeting, I opened https://github.com/eclipse-theia/theia/issues/12211. I'm not aware of any other bugs that should be back-ported to the community release, so if no-one objects, I would make 1.34.2 tomorrow morning CET.

/Thomas