[theia-dev] 1.37.2 backports

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

[theia-dev] 1.37.2 backports

From: Thomas Mäder <t.s.maeder@xxxxxxxxx>
Date: Thu, 11 May 2023 12:49:45 +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.1735.0

Hi folks,

since we've had an 1.37.1 release, I've opened a new issue with the PR's we'd like to backport for 1.37.2: https://github.com/eclipse-theia/theia/issues/12518. A couple of PR's there are not merged to master yet, so as far as I'm concerned, it would be nice if reviewers focused on these over other open PR's.

/Thomas

Prev by Date: Re: [theia-dev] Failing license checks on PR's
Next by Date: [theia-dev] VS Code Usage Policy
Previous by thread: [theia-dev] Failing license checks on PR's
Next by thread: [theia-dev] Release of vscode built-ins 1.77.0 - wait for IP check tickets resolution?
Index(es):
- Date
- Thread

Breadcrumbs