Skip to content

Fix bad merge in changes#3390

Merged
Rowlando13 merged 1 commit intomainfrom
Rowlando13-patch-1
Apr 29, 2026
Merged

Fix bad merge in changes#3390
Rowlando13 merged 1 commit intomainfrom
Rowlando13-patch-1

Conversation

@Rowlando13
Copy link
Copy Markdown
Collaborator

No description provided.

@Rowlando13 Rowlando13 merged commit 8d34495 into main Apr 29, 2026
12 checks passed
@Rowlando13 Rowlando13 deleted the Rowlando13-patch-1 branch April 29, 2026 06:50
@kdeldycke kdeldycke added the docs label Apr 29, 2026
@kdeldycke kdeldycke added this to the 8.4.0 milestone Apr 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants