Skip to content

Minor fixes#724

Merged
nprol merged 6 commits into15.x.x-developfrom
bug/minor-fixes
Jan 21, 2026
Merged

Minor fixes#724
nprol merged 6 commits into15.x.x-developfrom
bug/minor-fixes

Conversation

@nprol
Copy link
Contributor

@nprol nprol commented Jan 21, 2026

No description provided.

@nprol nprol linked an issue Jan 21, 2026 that may be closed by this pull request
4 tasks
@nprol nprol merged commit e1a9843 into 15.x.x-develop Jan 21, 2026
1 check passed
@nprol nprol deleted the bug/minor-fixes branch January 21, 2026 12:08
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.

Minor fixes

2 participants

Comments