Closed github-actions[bot] closed 2 months ago
Don't know how to resolve this conflict, it seems it doesn't have any relation to my earlier changes.
For the next time: merge the target branch into the merge branch. There were no merge conflicts.
For the next time: merge the target branch into the merge branch. There were no merge conflicts.
Hm, when I wrote my previous comment, this PR page complained about merge conflicts and the button was greyed out. Next time I'll screenshot it :-)
This is the expected behavior. You have to check out the branch yourself and manually resolve any issues.
Merge changes from
maintenance/mps20223
tomaster
.