Skip to content

Conversation

@merks
Copy link
Contributor

@merks merks commented Sep 5, 2025

@merks
Copy link
Contributor Author

merks commented Sep 5, 2025

Has no build impact, merging immediately.

@merks merks merged commit 6a892f0 into eclipse-platform:master Sep 5, 2025
4 of 6 checks passed
@merks merks deleted the pr-fix-aggr branch September 5, 2025 15:20
@HannesWell HannesWell mentioned this pull request Sep 5, 2025
11 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant