Skip to content

Conversation

@DerManoMann
Copy link
Collaborator

Related to #1912

@DerManoMann DerManoMann merged commit 0e20d17 into zircote:master Jan 16, 2026
14 checks passed
@github-actions
Copy link
Contributor

Created backport PR for 5.x:

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin backport-1916-to-5.x
git worktree add --checkout .worktree/backport-1916-to-5.x backport-1916-to-5.x
cd .worktree/backport-1916-to-5.x
git reset --hard HEAD^
git cherry-pick -x 0e20d177b3730e1bdcc3e4518df8b3124df87416
git push --force-with-lease

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