Skip to content

Conversation

@41zu
Copy link

@41zu 41zu commented Sep 2, 2025

It's only a draft, feedback is appreciated.

@eclipse-rap-bot
Copy link

Can one of the admins verify this patch?

@ifurnadjiev
Copy link
Contributor

Could you please squash it in a single commit? Please update the commit message why this change is needed, what is really resolved.

@41zu
Copy link
Author

41zu commented Oct 28, 2025

@ifurnadjiev I opened a new draft merge request [1]. I linked the message on the mailing list in merge request and commit message. Is that ok or should I do it differently?

[1] #344

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.

3 participants