Skip to content

release: 3.4.12 - #1536

Merged
cure53 merged 1 commit into
mainfrom
release/3.4.12
Jul 11, 2026
Merged

release: 3.4.12#1536
cure53 merged 1 commit into
mainfrom
release/3.4.12

Conversation

@cure53

@cure53 cure53 commented Jul 11, 2026

Copy link
Copy Markdown
Owner

See above

@cure53
cure53 requested a review from x00mario as a code owner July 11, 2026 11:37
@cure53
cure53 merged commit e121ef5 into main Jul 11, 2026
17 checks passed
@cure53
cure53 deleted the release/3.4.12 branch July 11, 2026 11:45
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