Skip to content

Conversation

bert-e
Copy link
Contributor

@bert-e bert-e commented Sep 16, 2025

This pull request has been created automatically.
It is linked to its parent pull request #2258.

Do not edit this pull request directly.
If you need to amend/cancel the changeset on branch
w/2.13/improvement/ZENKO-5057, please follow this
procedure:

 git fetch
 git checkout w/2.13/improvement/ZENKO-5057
 # <amend or cancel the changeset by _adding_ new commits>
 git push origin w/2.13/improvement/ZENKO-5057

Please always comment pull request #2258 instead of this one.

@bert-e bert-e closed this Sep 16, 2025
@bert-e bert-e merged commit e82a1a5 into development/2.13 Sep 16, 2025
14 checks passed
@bert-e bert-e deleted the w/2.13/improvement/ZENKO-5057 branch September 16, 2025 15:18
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.

2 participants