Skip to content

Theia 1.62.0#15679

Merged
jfaltermeier merged 3 commits intomasterfrom
release/1.62.x
May 28, 2025
Merged

Theia 1.62.0#15679
jfaltermeier merged 3 commits intomasterfrom
release/1.62.x

Conversation

@jfaltermeier
Copy link
Contributor

What it does

Contributes the changes of the 1.62.0 release

How to test

Follow-ups

Breaking changes

  • This PR introduces breaking changes and requires careful review. If yes, the breaking changes section in the changelog has been updated.

Attribution

Review checklist

Reminder for reviewers

@github-project-automation github-project-automation bot moved this to Waiting on reviewers in PR Backlog May 28, 2025
@jfaltermeier jfaltermeier requested a review from sgraband May 28, 2025 11:59
Copy link
Contributor

@sgraband sgraband left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@github-project-automation github-project-automation bot moved this from Waiting on reviewers to Needs merge in PR Backlog May 28, 2025
@jfaltermeier jfaltermeier merged commit ae5ba43 into master May 28, 2025
14 checks passed
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog May 28, 2025
@github-actions github-actions bot added this to the 1.63.0 milestone May 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants