[theia-dev] 1.34.2

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[theia-dev] 1.34.2

From: Thomas Mäder <t.s.maeder@xxxxxxxxx>
Date: Thu, 23 Feb 2023 13:43:04 +0000
Delivered-to: theia-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/theia-dev/>
List-help: <mailto:theia-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/theia-dev>, <mailto:theia-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/theia-dev>, <mailto:theia-dev-request@eclipse.org?subject=unsubscribe>
User-agent: eM_Client/9.2.1577.0

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

Follow-Ups:
- Re: [theia-dev] 1.34.2
  - From: Thomas Mäder

Prev by Date: Re: [theia-dev] Let's discuss Theia self-hosting tomorrow
Next by Date: Re: [theia-dev] 1.34.2
Previous by thread: [theia-dev] Let's discuss Theia self-hosting tomorrow
Next by thread: Re: [theia-dev] 1.34.2
Index(es):
- Date
- Thread

Breadcrumbs