Skip to content
This repository was archived by the owner on Aug 11, 2025. It is now read-only.

Conversation

@BeckerWdf
Copy link
Member

No description provided.

BeckerWdf added a commit to BeckerWdf/eclipse.platform.ui that referenced this pull request Jun 16, 2025
BeckerWdf added a commit to BeckerWdf/eclipse.jdt.ui that referenced this pull request Jun 16, 2025
@BeckerWdf
Copy link
Member Author

@Michael5601

@Michael5601
Copy link
Contributor

Looks good to me. :)

@BeckerWdf BeckerWdf merged commit 1ec2225 into master Jun 16, 2025
3 checks passed
@BeckerWdf BeckerWdf deleted the cleanup branch June 16, 2025 12:00
BeckerWdf added a commit to eclipse-platform/eclipse.platform.ui that referenced this pull request Jun 16, 2025
akurtakov pushed a commit to eclipse-jdt/eclipse.jdt.ui that referenced this pull request Jun 16, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants